Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2001-08-31 | added code for strict and unboxed lists | johnvg | 1 | -2/+2 |
2001-05-08 | moved ImportedFunctions from convertcases to trans | ronny | 1 | -0/+1 |
2001-03-20 | Sjaak: fixed inheritance bugs and strictness attributes | sjakie | 1 | -1/+1 |
2001-01-19 | uniqueness unification for types of functions that are generated | martinw | 1 | -2/+2 |
2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 1 | -3/+3 |
2000-09-13 | fixed following bug: | martinw | 1 | -3/+1 |
2000-08-18 | dynamic type bug fixed; changes to support theorem prover | martijnv | 1 | -0/+4 |
2000-03-20 | *** empty log message *** | sjakie | 1 | -1/+1 |
1999-11-23 | change: dynamics are now converted before 'fusion' | sjakie | 1 | -2/+3 |
1999-11-05 | fusion works now. The fusion switch in module typesupport is enabled | martinw | 1 | -1/+1 |
1999-10-18 | lots of changes in module trans to make fusion work. | martinw | 1 | -2/+5 |
1999-10-05 | Initial import | ronny | 1 | -0/+21 |