7 Commits

Author	SHA1	Message	Date
ceriel	5d5c36b37a	disabled range-checks	1987-08-19 18:07:01 +00:00
ceriel	ab2cea7a0f	fixes	1987-06-29 12:27:50 +00:00
ceriel	5badb261c6	fixes, different traps, new files	1987-06-26 15:59:52 +00:00
ceriel	ea811cdb79	fixes, made more consistent	1987-06-23 17:12:42 +00:00
ceriel	0dbbed1ff7	fixes	1987-06-19 09:25:08 +00:00
ceriel	e85d299448	Added Mathlib; MathLib0 now uses Mathlib	1987-05-27 10:05:01 +00:00
ceriel	b2e16cc28e	Added RealConversion	1987-05-22 17:15:09 +00:00