ceriel 51169956dc some more fixes, and tried to make smaller		1987-08-10 21:43:47 +00:00
..
basic	Initial revision	1987-04-13 10:32:47 +00:00
cem	nestlevel count per file	1987-08-10 11:17:20 +00:00
m2	some more fixes, and tried to make smaller	1987-08-10 21:43:47 +00:00
occam	Initial revision	1987-04-13 10:32:47 +00:00
pc	fixed a bug: constant sets were not handled right on 4-byte machines	1987-07-22 09:21:00 +00:00
.distr	Initial revision	1987-04-13 10:32:47 +00:00