Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2003-11-05 | * Assertions. | Eelco Dolstra | 1 | -1/+3 |
2003-11-03 | * Work around problems with the ATerm library. | Eelco Dolstra | 1 | -5/+35 |
2003-10-31 | * Working evaluator. | Eelco Dolstra | 1 | -2/+18 |
2003-10-30 | * Bottomup rewrite function. | Eelco Dolstra | 1 | -0/+27 |