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
|
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
|
caf99ea472
|
newer version
|
1986-06-06 02:22:09 +00:00 |
|
|
ceriel
|
7f174a46c3
|
A newer version, safety commit
|
1986-03-26 15:11:02 +00:00 |
|
|
ceriel
|
b683a21217
|
Initial version
|
1986-03-20 14:52:03 +00:00 |
|