Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2001-10-04 | Context -> ScanContext | pieter | 1 | -3/+3 |
2001-10-01 | pass file modification times from icl module and dcl modules to backend | ronny | 1 | -1/+6 |
2001-09-12 | add <|- generator for overloaded lists | johnvg | 1 | -0/+1 |
2001-09-05 | fix parsing of [# with layout rule | johnvg | 1 | -0/+3 |
2001-07-25 | bug fix parse_bug_forbidden_symbols | ronny | 1 | -0/+3 |
2001-07-18 | assorted scanner/parser bug fixes by Pieter (tested by Ronny) | ronny | 1 | -1/+3 |
2001-03-13 | Generics are added, but are disabled. | alimarin | 1 | -1/+5 |
2000-07-10 | Improved compatibility with Maarten's Theorem Prover Sources | clean | 1 | -1/+6 |
2000-06-20 | reduce memory allocation | clean | 1 | -5/+0 |
2000-03-09 | optimized by John | pieter | 1 | -7/+4 |
1999-11-15 | bug fix: instance of < for Priority removed, | sjakie | 1 | -1/+9 |
1999-10-05 | Initial import | ronny | 1 | -0/+155 |