ceriel
|
16a335ab42
|
removed some IMPORTS that were never used
|
1987-10-21 11:49:14 +00:00 |
|
|
ceriel
|
19b0c2a0b0
|
disabled range-checks
|
1987-08-19 18:07:01 +00:00 |
|
|
ceriel
|
b93c1cb093
|
fixes
|
1987-06-29 12:27:50 +00:00 |
|
|
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
|
ea590431d8
|
fixes
|
1987-06-19 09:25:08 +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 |
|