Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2000-08-15 | improved typing error messages: type variables are printed like "a" instead | martinw | 1 | -2/+2 |
2000-07-10 | Improved compatibility with Maarten's Theorem Prover Sources | clean | 1 | -2/+9 |
2000-07-04 | labels global function names without ";n" extension | clean | 1 | -0/+1 |
2000-04-26 | changes to make compiler compatible with itself | martinw | 1 | -1/+1 |
2000-02-15 | bug fix (unboxed arrrays of records) | ronny | 1 | -1/+1 |
2000-02-09 | strictness annoation for fe_components | ronny | 1 | -1/+1 |
1999-11-24 | unified main and frontend | ronny | 1 | -0/+18 |