ceriel ecaea97a99 make to use varargs.h

1988-04-15 14:43:19 +00:00

..

basic

Initial revision

1987-04-13 10:32:47 +00:00

cem

make to use varargs.h

1988-04-15 14:43:19 +00:00

m2

made to fit on PDP-11 again, and some other minor mods

1988-04-13 18:37:45 +00:00

occam

made to work

1988-02-15 18:08:46 +00:00

pc

don't generate HOL's of zero size

1988-04-08 09:46:04 +00:00

.distr

Added m2

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