dick f8dfcefb0b initial small modifications for lint

1988-08-19 13:55:22 +00:00

..

basic

removed not-used variable

1988-08-19 13:40:01 +00:00

cem

initial small modifications for lint

1988-08-19 13:55:22 +00:00

m2

improved/speeded up using new ecvt

1988-08-10 11:12:57 +00:00

occam

made to work on small machines

1988-07-18 16:45:25 +00:00

pc

made easier to patch

1988-08-19 13:26:27 +00:00

.distr

Added m2

1988-04-08 13:10:18 +00:00