| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 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 |
 |
index : compiler | |
| Fork of the Clean compiler for experimenting with new features |
| aboutsummaryrefslogtreecommitdiff |