| Wed, 05 Dec 2012 11:05:23 +0100 | nipkow | \<noteq> now has the same associativity as ~= and = | changeset | files |
| Wed, 05 Dec 2012 10:35:58 +0100 | blanchet | tweaked order of theorems to avoid forward dependencies (MaSh) | changeset | files |
| Tue, 04 Dec 2012 23:50:36 +0100 | blanchet | rationalized MaSh evaluation harness | changeset | files |
| Tue, 04 Dec 2012 23:43:24 +0100 | blanchet | more robustness in the face of MaSh format changes -- don't overwrite new versions with old versions | changeset | files |
| Tue, 04 Dec 2012 23:19:03 +0100 | blanchet | added feature weights in MaSh | changeset | files |
| Tue, 04 Dec 2012 23:19:02 +0100 | blanchet | promote local facts using a hack (for MaSh) | changeset | files |
| Tue, 04 Dec 2012 22:14:59 +0100 | wenzelm | proper action labels, to make this appear in the "Shortcuts" panel, for example; | changeset | files |
| Tue, 04 Dec 2012 19:10:14 +0100 | blanchet | turned off noisy MaSh features | changeset | files |