5 Commits

Author	SHA1	Message	Date
ceriel	9a93a52d2e	mainly new comments	1988-02-19 15:54:01 +00:00
ceriel	5d5c36b37a	disabled range-checks	1987-08-19 18:07:01 +00:00
ceriel	63a5128ddd	some small fixes and additions	1987-07-22 12:42:10 +00:00
ceriel	ea811cdb79	fixes, made more consistent	1987-06-23 17:12:42 +00:00
ceriel	e85d299448	Added Mathlib; MathLib0 now uses Mathlib	1987-05-27 10:05:01 +00:00