Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2001-08-31 | use ArrayAndListInstances instead of range of function indices | johnvg | 1 | -1/+1 |
2001-03-15 | compiler frontend without writing tcl-files | martijnv | 1 | -2/+2 |
2001-03-01 | - type files worden aangemaakt (buggy) | martijnv | 1 | -2/+2 |
2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 1 | -6/+3 |
2000-09-20 | now "list inferred types" can print attributes also | martinw | 1 | -1/+1 |
2000-08-21 | no message | martijnv | 1 | -0/+3 |
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 |