Commit graph

5 commits

Author SHA1 Message Date
ceriel ea69982a26 fixes, different traps, new files 1987-06-26 15:59:52 +00:00
ceriel 43a6aed45c fixes, made more consistent 1987-06-23 17:12:42 +00:00
ceriel 86c5c56a38 Added Mathlib; MathLib0 now uses Mathlib 1987-05-27 10:05:01 +00:00
ceriel 9294fb9b8c Added RealConversion 1987-05-22 17:15:09 +00:00
ceriel 0cc5442188 Initial revision 1987-05-13 14:36:45 +00:00