| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2013-04-08 | add generic function dependencies for generic function definitions, | johnvg | 1 | -0/+1 |
| 2012-10-08 | search and open file before calling wantModule | johnvg | 1 | -1/+3 |
| 2012-09-21 | add hierarchical modules | johnvg | 1 | -1/+2 |
| 2007-02-14 | implement qualified explicit imports | johnvg | 1 | -0/+1 |
| 2003-12-15 | remove VoidTypeToken | johnvg | 1 | -1/+0 |
| 2003-12-15 | add foreign export | johnvg | 1 | -2/+1 |
| 2003-12-01 | use same default fixity and priority (infixl 9) everywhere | ronny | 1 | -0/+1 |
| 2002-06-17 | removed ingnored !'s | johnvg | 1 | -2/+2 |
| 2002-06-03 | added constructor/type/field information to generics | alimarin | 1 | -0/+2 |
| 2002-03-25 | new implementation of generics | alimarin | 1 | -0/+1 |
| 2001-11-26 | assorted parse/scan bug fixes | ronny | 1 | -2/+2 |
| 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 |
