ceriel
|
4489526a11
|
fixed some minor problems
|
1987-11-09 16:11:04 +00:00 |
|
|
ceriel
|
fd817d4dbc
|
Minor adaptions in order to reduce the size
|
1987-09-23 16:39:43 +00:00 |
|
|
ceriel
|
51169956dc
|
some more fixes, and tried to make smaller
|
1987-08-10 21:43:47 +00:00 |
|
|
ceriel
|
0e397f09f3
|
many changes; some cosmetic; coercions now explicit in tree
|
1987-07-30 13:37:39 +00:00 |
|
|
ceriel
|
fbc0415761
|
make to work on sun, added copyright, etc
|
1987-04-29 10:22:07 +00:00 |
|
|
ceriel
|
3030eb8cae
|
newer version
|
1986-10-06 20:36:30 +00:00 |
|
|
ceriel
|
9932033365
|
newer version
|
1986-06-20 14:36:49 +00:00 |
|