Thu, 06 May 2010 13:41:30 +0200 |
wenzelm |
extractors for outer keyword declarations;
|
file |
diff |
annotate
|
Fri, 23 Apr 2010 21:00:28 +0200 |
wenzelm |
added keyword category "schematic goal", which prevents any attempt to fork the proof;
|
file |
diff |
annotate
|
Mon, 04 Jan 2010 19:43:59 +0100 |
wenzelm |
report keywords as singleton messages, control message kind via print mode;
|
file |
diff |
annotate
|
Tue, 27 Oct 2009 13:16:16 +0100 |
wenzelm |
non-critical atomic accesses;
|
file |
diff |
annotate
|
Tue, 29 Sep 2009 11:49:22 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
Mon, 23 Mar 2009 17:21:42 +0100 |
wenzelm |
suppress status output for traditional tty modes (including Proof General);
|
file |
diff |
annotate
|
Mon, 05 Jan 2009 00:10:38 +0100 |
wenzelm |
added is_control, is_regular, is_theory_begin;
|
file |
diff |
annotate
|
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
|