some fixes
authorceriel <none@none>
Mon, 19 Oct 1987 10:06:24 +0000 (10:06 +0000)
committerceriel <none@none>
Mon, 19 Oct 1987 10:06:24 +0000 (10:06 +0000)
commit67cf9c49337a1320b1723503cb131bf51cb6bf70
tree7afabae3d721bfedc4b0c81d8b67fd2c3dc9573d
parentbf0ee1f16c0c2efdcb4c05b4cfd302d9a39bcb8e
some fixes
lang/m2/libm2/CSP.mod
lang/m2/libm2/InOut.mod
lang/m2/libm2/MathLib0.mod
lang/m2/libm2/RealInOut.mod
lang/m2/libm2/Strings.mod