| 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
|