| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fixes #798 | Araq | 2014-04-06 | 1 | -1/+2 |
| * | 'nil' as a statement is deprecated, use an empty 'discard' instead | Araq | 2014-01-19 | 1 | -1/+1 |
| * | case consistency: next steps | Araq | 2013-12-29 | 1 | -1/+1 |
| * | case consistency part 4 | Araq | 2013-12-27 | 1 | -2/+2 |
| * | should fix newly introduced bugs wrt TR macros | Araq | 2013-09-18 | 1 | -3/+7 |
| * | improvements for TR macros | Araq | 2013-09-17 | 1 | -7/+14 |
| * | term rewriting improvements | Araq | 2012-09-08 | 1 | -0/+91 |