| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 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 |