| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Changed tests and tools to use 'discard' statements instead of 'nil' for ↵ | Clay Sweetser | 2014-02-15 | 1 | -1/+1 |
| | | | | | empty blocks. | ||||
| * | further improvements for term rewriting macros | Araq | 2012-09-04 | 1 | -0/+9 |