6 commits

Author	SHA1	Message	Date
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