| Fri, 27 Aug 2010 22:09:51 +0200 |
wenzelm |
discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure;
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 14:18:09 +0200 |
wenzelm |
discontinued obsolete 'global' and 'local' commands;
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 17:03:38 +0200 |
wenzelm |
updated keywords;
|
file |
diff |
annotate
|
| Fri, 06 Aug 2010 14:37:04 +0200 |
wenzelm |
updated keywords;
|
file |
diff |
annotate
|
| Wed, 28 Jul 2010 00:13:26 +0200 |
wenzelm |
explicit Keyword.control markup for various control commands -- to prevent them from occurring in proof documents;
|
file |
diff |
annotate
|
| Tue, 27 Jul 2010 23:04:50 +0200 |
wenzelm |
updated keywords;
|
file |
diff |
annotate
|
| Thu, 29 Apr 2010 16:55:22 +0200 |
wenzelm |
ProofContext.read_const: allow for type constraint (for fixed variable);
|
file |
diff |
annotate
|
| Wed, 28 Apr 2010 12:23:14 +0200 |
wenzelm |
updated keywords;
|
file |
diff |
annotate
|
| Mon, 26 Apr 2010 21:45:08 +0200 |
wenzelm |
command 'example_proof' opens an empty proof body;
|
file |
diff |
annotate
|
| Fri, 23 Apr 2010 23:42:46 +0200 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Fri, 16 Apr 2010 22:52:49 +0200 |
wenzelm |
updated keywords;
|
file |
diff |
annotate
|
| Sun, 11 Apr 2010 17:40:43 +0200 |
haftmann |
updated keywords
|
file |
diff |
annotate
|
| Mon, 01 Mar 2010 17:12:43 +0100 |
wenzelm |
updated generated files;
|
file |
diff |
annotate
|
| Mon, 22 Feb 2010 10:28:49 +0100 |
Cezary Kaliszyk |
update the keywords files
|
file |
diff |
annotate
|
| Mon, 23 Nov 2009 22:47:41 +0100 |
wenzelm |
updated keywords;
|
file |
diff |
annotate
|