ceriel
|
f9b6acf1dc
|
New version with different parameter passing mechanism and some
minor fixes
|
1989-03-20 13:32:06 +00:00 |
|
ceriel
|
795a078d08
|
too many changes: some cosmetic; some for 2/4; some for added options
|
1988-03-21 17:22:26 +00:00 |
|
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 |
|