Araq
|
7c065bfadf
|
fixes #798
|
2014-04-06 22:05:42 +02:00 |
|
Araq
|
73c6efdf66
|
'nil' as a statement is deprecated, use an empty 'discard' instead
|
2014-01-19 16:54:59 +01:00 |
|
Araq
|
438703f59e
|
case consistency: next steps
|
2013-12-29 01:13:51 +01:00 |
|
Araq
|
92b8fac94a
|
case consistency part 4
|
2013-12-27 23:10:36 +01:00 |
|
Araq
|
51672aef72
|
should fix newly introduced bugs wrt TR macros
|
2013-09-18 02:03:56 +02:00 |
|
Araq
|
9de3bc8ef6
|
improvements for TR macros
|
2013-09-17 23:43:07 +02:00 |
|
Araq
|
b64eeeb430
|
term rewriting improvements
|
2012-09-08 15:43:21 +02:00 |
|