| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2001-05-11 | checking the kinds of all function-, instance-, class- and member-types | martinw | 1 | -4/+6 |
| 2001-05-08 | split convertcases in two modules (convertcases and convertimportedtypes) | ronny | 1 | -1/+1 |
| 2001-05-08 | renamed convertCasesOfFunctionsIntoPatterns to convertCasesOfFunctions | ronny | 1 | -1/+1 |
| 2001-05-03 | Flag to turn generics on and off (SupportGenerics), default off | ronny | 1 | -1/+1 |
| 2001-04-25 | added support for constructors (for toString like usage), | alimarin | 1 | -1/+6 |
| 2001-03-22 | Sjaak: removed call to showComponents | sjakie | 1 | -1/+1 |
| 2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -1/+1 |
| 2001-03-15 | compiler frontend without writing tcl-files | martijnv | 1 | -2/+2 |
| 2001-03-13 | Generics are added, but are disabled. | alimarin | 1 | -5/+26 |
| 2001-03-08 | Normalizing | martijnv | 1 | -2/+2 |
| 2001-03-01 | - type files worden aangemaakt (buggy) | martijnv | 1 | -17/+22 |
| 2001-01-19 | uniqueness unification for types of functions that are generated | martinw | 1 | -2/+2 |
| 2000-10-25 | return cache if compilation stops after a certain phase (for Maarten) | johnvg | 1 | -7/+7 |
| 2000-10-23 | renumber icl function and macro indices when unfolding | johnvg | 1 | -5/+9 |
| 2000-09-27 | removing trace statement | martinw | 1 | -1/+1 |
| 2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 1 | -80/+104 |
| 2000-09-20 | now "list inferred types" can print attributes also | martinw | 1 | -1/+1 |
| 2000-08-21 | no message | martijnv | 1 | -7/+35 |
| 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 |
