Tue, 31 Aug 2010 21:00:57 +0200 |
blanchet |
updated
|
file |
diff |
annotate
|
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
|
Wed, 14 Jul 2010 15:49:29 +0200 |
haftmann |
added Isar syntax for code checking
|
file |
diff |
annotate
|
Mon, 12 Jul 2010 22:35:41 +0200 |
wenzelm |
removed unused/untested IOA 'automaton' package;
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 08:25:21 +0200 |
bulwahn |
added the new command inductive_cases to derive simplification equations for inductive predicates; added binding simps for general simplification equation
|
file |
diff |
annotate
|
Wed, 02 Jun 2010 15:36:24 +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 15:42:10 +0200 |
haftmann |
updated keywords
|
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
|
Fri, 19 Feb 2010 11:06:20 +0100 |
haftmann |
added code_abstype keyword
|
file |
diff |
annotate
|
Wed, 25 Nov 2009 15:21:41 +0100 |
wenzelm |
include HOL-SMT keywords;
|
file |
diff |
annotate
|
Mon, 23 Nov 2009 22:47:41 +0100 |
wenzelm |
updated keywords;
|
file |
diff |
annotate
|
Sat, 21 Nov 2009 20:41:29 +0100 |
wenzelm |
updated keywords;
|
file |
diff |
annotate
|
Sat, 14 Nov 2009 18:45:24 +0100 |
wenzelm |
include HOL-Boogie keywords by default;
|
file |
diff |
annotate
|
Sat, 14 Nov 2009 18:16:13 +0100 |
wenzelm |
updated keywords;
|
file |
diff |
annotate
|
Fri, 23 Oct 2009 19:00:36 +0200 |
blanchet |
updated keyword files to include "nitpick" and "nitpick_params"
|
file |
diff |
annotate
|
Tue, 29 Sep 2009 22:15:54 +0200 |
ballarin |
Propagation of mixins for interpretation; reactivated diagnostic command print_interps.
|
file |
diff |
annotate
|
Tue, 12 May 2009 21:39:19 +0200 |
haftmann |
updated keywords
|
file |
diff |
annotate
|
Mon, 11 May 2009 17:20:52 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|