Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2000-09-27 | optimizations and caching of dcl modules (without trans.icl) | clean | 1 | -5/+16 |
2000-07-10 | optimised consequence checking for explicit imports | martinw | 1 | -6/+5 |
1999-11-12 | bug fix in trans.icl | martinw | 1 | -1/+0 |
1999-10-05 | Initial import | ronny | 1 | -0/+17 |