5 commits

Author	SHA1	Message	Date
ceriel	4d66061c82	install new back-end instead of old	1988-07-19 10:14:22 +00:00
ceriel	6535d32447	Added libm2	1988-04-08 13:39:19 +00:00
ceriel	a614f3be7a	Added ncg and libfp	1988-04-07 11:49:19 +00:00
ceriel	897d312a1d	Adeded Occam	1987-02-25 19:44:22 +00:00
em	4f80e81ee7	*** empty log message ***	1985-02-15 22:53:13 +00:00