6 commits

Author	SHA1	Message	Date
ceriel	31ddd5ca12	mainly new comments	1988-02-19 15:54:01 +00:00
ceriel	67cf9c4933	some fixes	1987-10-19 10:06:24 +00:00
ceriel	19b0c2a0b0	disabled range-checks	1987-08-19 18:07:01 +00:00
ceriel	0aea30473c	some small fixes and additions	1987-07-22 12:42:10 +00:00
ceriel	86c5c56a38	Added Mathlib; MathLib0 now uses Mathlib	1987-05-27 10:05:01 +00:00
ceriel	0cc5442188	Initial revision	1987-05-13 14:36:45 +00:00