| Wed, 05 Dec 2012 14:19:44 +0100 |
wenzelm |
basic wrapper for session build dialog;
|
changeset |
files
|
| Wed, 05 Dec 2012 14:13:47 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 05 Dec 2012 12:22:55 +0100 |
wenzelm |
tuned signature in accordance to document operations;
|
changeset |
files
|
| Wed, 05 Dec 2012 11:34:04 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 05 Dec 2012 11:05:34 +0100 |
nipkow |
merged
|
changeset |
files
|
| 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
|
| Tue, 04 Dec 2012 19:09:44 +0100 |
blanchet |
added MaSh learning to Mirabelle
|
changeset |
files
|