| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2002-07-01 | Rewound last change: don't search in the current directory. | ronny | 1 | -8/+2 |
| 2002-06-20 | Always try to open files in current directory. | ronny | 1 | -2/+8 |
| 2002-06-17 | removed ingnored !'s | johnvg | 1 | -4/+4 |
| 2002-06-03 | added constructor/type/field information to generics | alimarin | 1 | -0/+10 |
| 2002-03-25 | new implementation of generics | alimarin | 1 | -0/+2 |
| 2001-11-26 | assorted parse/scan bug fixes | ronny | 1 | -18/+16 |
| 2001-10-04 | Context -> ScanContext | pieter | 1 | -19/+25 |
| 2001-10-01 | pass file modification times from icl module and dcl modules to backend | ronny | 1 | -27/+24 |
| 2001-09-12 | add <|- generator for overloaded lists | johnvg | 1 | -1/+16 |
| 2001-09-05 | fix parsing of [# with layout rule | johnvg | 1 | -1/+14 |
| 2001-08-31 | PK: token position + minor bugs | pieter | 1 | -69/+56 |
| 2001-07-25 | bug fix operator like =:= are now allowed | ronny | 1 | -2/+9 |
| 2001-07-25 | bug fix scanning [''] | ronny | 1 | -0/+1 |
| 2001-07-25 | bug fix scanning ['\\\''] | ronny | 1 | -0/+1 |
| 2001-07-25 | bug fix parse_bug_forbidden_symbols | ronny | 1 | -4/+26 |
| 2001-07-25 | renamed ss_useLayout to ss_scanOptions | ronny | 1 | -16/+16 |
| 2001-07-25 | changed ss_useLayout field to bit vector (in anticipation of more scan state ... | ronny | 1 | -8/+11 |
| 2001-07-24 | bug fix funny_id_after_type | ronny | 1 | -27/+6 |
| 2001-07-18 | assorted scanner/parser bug fixes by Pieter (tested by Ronny) | ronny | 1 | -424/+178 |
| 2001-05-11 | moving all switch macros to new module "compilerSwitches" | martinw | 1 | -3/+1 |
| 2001-03-13 | Generics are added, but are disabled. | alimarin | 1 | -1/+17 |
| 2000-08-29 | adjusted treatment of lazy and strict array functions | sjakie | 1 | -2/+3 |
| 2000-07-10 | Improved compatibility with Maarten's Theorem Prover Sources | clean | 1 | -1/+34 |
| 2000-06-20 | reduce memory allocation | clean | 1 | -21/+73 |
| 2000-06-06 | see previous revision | martinw | 1 | -3/+1 |
| 2000-06-06 | added simple hacky preprocessor facility. The following source | martinw | 1 | -11/+48 |
| 2000-05-31 | setting defaultPrio to 9 according to bug report from Ronny | martinw | 1 | -1/+1 |
| 2000-03-09 | optimized by John | pieter | 1 | -239/+552 |
| 2000-02-22 | Bug fixes escaped characters in character and string denotations | ronny | 1 | -5/+32 |
| 2000-01-18 | bugfix: TryScanComment did not work when a single slash was followed by a new... | martinw | 1 | -1/+8 |
| 1999-12-22 | \" as escape char | pieter | 1 | -1/+1 |
| 1999-11-16 | allow operator names like .* | pieter | 1 | -5/+7 |
| 1999-11-15 | bug fix: instance of < for Priority removed, | sjakie | 1 | -0/+18 |
| 1999-10-25 | end of comment repaired to allow **/ | pieter | 1 | -0/+1 |
| 1999-10-20 | ExclamationToken is again a reserved sybol in every context | pieter | 1 | -1/+1 |
| 1999-10-13 | cases in lets fixed | pieter | 1 | -2/+3 |
| 1999-10-07 | offside voor cases | pieter | 1 | -9/+9 |
| 1999-10-05 | Initial import | ronny | 1 | -0/+1518 |
