| Wed, 19 Feb 2014 20:56:29 +0100 |
wenzelm |
more markup;
|
changeset |
files
|
| Wed, 19 Feb 2014 20:53:09 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 19 Feb 2014 20:07:31 +0100 |
wenzelm |
removed dead code;
|
changeset |
files
|
| Thu, 20 Feb 2014 16:56:33 +0100 |
kuncar |
refactoring; generate rep_eq always, not only when it would be accepted by the code generator
|
changeset |
files
|
| Thu, 20 Feb 2014 16:56:32 +0100 |
kuncar |
refactoring
|
changeset |
files
|
| Thu, 20 Feb 2014 16:56:32 +0100 |
kuncar |
the rule is not needed due to 1726f46d2aa8
|
changeset |
files
|
| Thu, 20 Feb 2014 16:47:22 +0100 |
traytel |
merged
|
changeset |
files
|
| Thu, 20 Feb 2014 15:51:26 +0100 |
traytel |
tuned tactic
|
changeset |
files
|
| Thu, 20 Feb 2014 10:32:09 +0100 |
haftmann |
tuned
|
changeset |
files
|
| Thu, 20 Feb 2014 15:14:37 +0100 |
noschinl |
less flex-flex pairs
|
changeset |
files
|
| Thu, 20 Feb 2014 13:53:26 +0100 |
traytel |
less flex-flex pairs (thanks to Lars' statistics)
|
changeset |
files
|
| Thu, 20 Feb 2014 11:40:03 +0100 |
traytel |
made tactics more robust
|
changeset |
files
|
| Wed, 19 Feb 2014 22:08:47 +0100 |
haftmann |
offical tool
|
changeset |
files
|
| Wed, 19 Feb 2014 22:05:15 +0100 |
haftmann |
more convenient syntax for permanent interpretation
|
changeset |
files
|
| Wed, 19 Feb 2014 22:05:05 +0100 |
haftmann |
aggiornamento for "interpretation with definitions": operate uniformly on theory and locale level under the brand of "permanent interpretation"
|
changeset |
files
|
| Thu, 20 Feb 2014 12:27:51 +1100 |
kleing |
move stronger rules into exercise
|
changeset |
files
|