| Thu, 09 Oct 2008 20:03:22 +0200 |
wenzelm |
report: back to single message;
|
file |
diff |
annotate
|
| Tue, 30 Sep 2008 22:02:47 +0200 |
wenzelm |
more command categories;
|
file |
diff |
annotate
|
| Wed, 24 Sep 2008 19:39:25 +0200 |
wenzelm |
report: produce individual status messages;
|
file |
diff |
annotate
|
| Sat, 09 Aug 2008 12:28:10 +0200 |
wenzelm |
dest: sort strings;
|
file |
diff |
annotate
|
| Thu, 07 Aug 2008 13:45:03 +0200 |
wenzelm |
adapted Scan.extend_lexicon/merge_lexicons;
|
file |
diff |
annotate
|
| Thu, 10 Jul 2008 17:26:27 +0200 |
wenzelm |
change_lexicons: no verbosity;
|
file |
diff |
annotate
|
| Thu, 10 Jul 2008 13:37:33 +0200 |
wenzelm |
added is_diag;
|
file |
diff |
annotate
|
| Wed, 02 Jul 2008 16:40:18 +0200 |
wenzelm |
replaced datatype category constructivism by is_theory/is_proof;
|
file |
diff |
annotate
|
| Tue, 01 Jul 2008 21:30:11 +0200 |
wenzelm |
added datatype category;
|
file |
diff |
annotate
|
| Wed, 25 Jun 2008 17:38:37 +0200 |
wenzelm |
moved global keywords from OuterSyntax to OuterKeyword, tuned interfaces;
|
file |
diff |
annotate
|
| Tue, 06 Sep 2005 08:29:17 +0200 |
haftmann |
eliminated 1 call to polyEq
|
file |
diff |
annotate
|
| Tue, 16 Aug 2005 13:42:30 +0200 |
wenzelm |
Isar command keyword classification (from Isar/outer_syntax.ML);
|
file |
diff |
annotate
|