Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2000-08-15 | improved typing error messages: type variables are printed like "a" instead | martinw | 1 | -5/+6 |
2000-08-01 | improving error messages | martinw | 1 | -1/+1 |
2000-07-10 | Improved compatibility with Maarten's Theorem Prover Sources | clean | 1 | -47/+88 |
2000-07-04 | labels global function names without ";n" extension | clean | 1 | -0/+2 |
2000-07-03 | no message | clean | 1 | -1/+1 |
2000-07-03 | no message | clean | 1 | -1/+1 |
2000-06-16 | small changes to reduce memory allocation | clean | 1 | -0/+7 |
2000-04-26 | Merge Martin/ Sjaak & Ronny branches | clean | 1 | -5/+5 |
2000-04-26 | changes to make compiler compatible with itself | martinw | 1 | -24/+12 |
2000-03-24 | bugfixes | martinw | 1 | -1/+2 |
2000-03-20 | *** empty log message *** | sjakie | 1 | -6/+14 |
2000-02-15 | bug fix (unboxed arrrays of records) | ronny | 1 | -1/+1 |
2000-02-09 | strictness annoation for fe_components | ronny | 1 | -4/+3 |
2000-02-07 | commit for Sjaak by RWS | sjakie | 1 | -3/+3 |
1999-11-24 | unified main and frontend | ronny | 1 | -0/+184 |