ceriel
|
5d675b2543
|
many changes; some cosmetic; coercions now explicit in tree
|
1987-07-30 13:37:39 +00:00 |
|
ceriel
|
d8a844f0da
|
name changes, fix in computation of set sizes
|
1987-07-17 13:50:04 +00:00 |
|
ceriel
|
db66b7720a
|
bug fixes, name changes
|
1987-07-16 19:51:40 +00:00 |
|
ceriel
|
ec9929d939
|
make to work on sun, added copyright, etc
|
1987-04-29 10:22:07 +00:00 |
|
ceriel
|
c92a7f411d
|
Several bug fixes
|
1986-11-05 14:33:00 +00:00 |
|
ceriel
|
f066c3691d
|
newer version
|
1986-10-06 20:36:30 +00:00 |
|
ceriel
|
250729d441
|
newer version
|
1986-07-08 14:59:02 +00:00 |
|
ceriel
|
07297eeb2a
|
newer version
|
1986-06-20 14:36:49 +00:00 |
|
ceriel
|
2df2dde564
|
newer version
|
1986-06-10 13:18:52 +00:00 |
|
ceriel
|
cb9213bf8c
|
newer version
|
1986-05-28 18:36:51 +00:00 |
|
ceriel
|
8aaaa48840
|
newer version
|
1986-05-21 18:32:20 +00:00 |
|
ceriel
|
f57a484906
|
newer version
|
1986-05-14 09:03:51 +00:00 |
|
ceriel
|
07e226dac3
|
newer version
|
1986-05-01 19:06:53 +00:00 |
|