ceriel
|
fd817d4dbc
|
Minor adaptions in order to reduce the size
|
1987-09-23 16:39:43 +00:00 |
|
|
ceriel
|
0e397f09f3
|
many changes; some cosmetic; coercions now explicit in tree
|
1987-07-30 13:37:39 +00:00 |
|
|
ceriel
|
de55f34bbd
|
name changes, fix in computation of set sizes
|
1987-07-17 13:50:04 +00:00 |
|
|
ceriel
|
e04230a126
|
bug fixes, name changes
|
1987-07-16 19:51:40 +00:00 |
|
|
ceriel
|
fbc0415761
|
make to work on sun, added copyright, etc
|
1987-04-29 10:22:07 +00:00 |
|
|
ceriel
|
9291d87dab
|
Several bug fixes
|
1986-11-05 14:33:00 +00:00 |
|
|
ceriel
|
3030eb8cae
|
newer version
|
1986-10-06 20:36:30 +00:00 |
|
|
ceriel
|
965e75761d
|
newer version
|
1986-07-08 14:59:02 +00:00 |
|
|
ceriel
|
9932033365
|
newer version
|
1986-06-20 14:36:49 +00:00 |
|
|
ceriel
|
ec528b797e
|
newer version
|
1986-06-10 13:18:52 +00:00 |
|
|
ceriel
|
6382054ae5
|
newer version
|
1986-05-28 18:36:51 +00:00 |
|
|
ceriel
|
0f04bc72bd
|
newer version
|
1986-05-21 18:32:20 +00:00 |
|
|
ceriel
|
15896e422c
|
newer version
|
1986-05-14 09:03:51 +00:00 |
|
|
ceriel
|
0bf57a9c64
|
newer version
|
1986-05-01 19:06:53 +00:00 |
|