etc/isar-keywords.el
2010-08-27 wenzelm 2010-08-27 discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure;
2010-08-25 wenzelm 2010-08-25 discontinued obsolete 'global' and 'local' commands;
2010-08-17 wenzelm 2010-08-17 updated keywords;
2010-08-06 wenzelm 2010-08-06 updated keywords;
2010-07-28 wenzelm 2010-07-28 explicit Keyword.control markup for various control commands -- to prevent them from occurring in proof documents;
2010-07-27 wenzelm 2010-07-27 updated keywords;
2010-07-14 haftmann 2010-07-14 added Isar syntax for code checking
2010-07-12 wenzelm 2010-07-12 removed unused/untested IOA 'automaton' package;
2010-07-07 bulwahn 2010-07-07 added the new command inductive_cases to derive simplification equations for inductive predicates; added binding simps for general simplification equation
2010-06-02 wenzelm 2010-06-02 updated keywords;
2010-04-29 wenzelm 2010-04-29 ProofContext.read_const: allow for type constraint (for fixed variable); added proof command 'write' to introduce concrete syntax within a proof body;
2010-04-28 haftmann 2010-04-28 updated keywords
2010-04-28 wenzelm 2010-04-28 updated keywords;
2010-04-26 wenzelm 2010-04-26 command 'example_proof' opens an empty proof body;
2010-04-23 wenzelm 2010-04-23 updated generated files;
2010-04-16 wenzelm 2010-04-16 updated keywords;
2010-04-11 haftmann 2010-04-11 updated keywords
2010-03-01 wenzelm 2010-03-01 updated generated files;
2010-02-22 Cezary Kaliszyk 2010-02-22 update the keywords files
2010-02-19 haftmann 2010-02-19 added code_abstype keyword
2009-11-25 wenzelm 2009-11-25 include HOL-SMT keywords;
2009-11-23 wenzelm 2009-11-23 updated keywords;
2009-11-21 wenzelm 2009-11-21 updated keywords;
2009-11-14 wenzelm 2009-11-14 include HOL-Boogie keywords by default;
2009-11-14 wenzelm 2009-11-14 updated keywords;
2009-10-23 blanchet 2009-10-23 updated keyword files to include "nitpick" and "nitpick_params"
2009-09-29 ballarin 2009-09-29 Propagation of mixins for interpretation; reactivated diagnostic command print_interps.
2009-05-12 haftmann 2009-05-12 updated keywords
2009-05-11 haftmann 2009-05-11 merged
2009-05-11 bulwahn 2009-05-11 fixed code_pred command
2009-05-11 bulwahn 2009-05-11 Added pred_code command
2009-05-04 immler 2009-05-04 updated generated files etc/isar-keywords.el and lib/jedit/isabelle.xml
2009-04-02 wenzelm 2009-04-02 updated keywords (with polyml-experimental);
2009-03-27 wenzelm 2009-03-27 updated keywords with polyml-experimental;
2009-03-15 wenzelm 2009-03-15 updated generated files;
2009-03-12 wenzelm 2009-03-12 updated generated files;
2009-02-13 kleing 2009-02-13 New command find_consts searching for constants by type (by Timothy Bourke).
2009-01-21 wenzelm 2009-01-21 updated generated files;
2008-12-30 ballarin 2008-12-30 Merged.
2008-12-14 ballarin 2008-12-14 Fixed legacy locale keywords (went to ZF rather than default keywords file).
2008-12-15 wenzelm 2008-12-15 updated generated files;
2008-11-27 ballarin 2008-11-27 Sublocale command.
2008-11-06 ballarin 2008-11-06 Keyword 'includes' gone.
2008-10-21 berghofe 2008-10-21 Added nominal_inductive2.
2008-10-03 wenzelm 2008-10-03 updated generated file;
2008-09-17 wenzelm 2008-09-17 updated generated file;
2008-07-16 wenzelm 2008-07-16 updated generated file;
2008-07-14 wenzelm 2008-07-14 updated generated file;
2008-07-10 wenzelm 2008-07-10 updated generated file;
2008-07-08 wenzelm 2008-07-08 updated generated file;
2008-06-28 wenzelm 2008-06-28 updated generated file;
2008-06-14 wenzelm 2008-06-14 updated generated file;
2008-06-10 haftmann 2008-06-10 updated
2008-05-15 wenzelm 2008-05-15 updated generated file;
2008-04-19 wenzelm 2008-04-19 updated generated file;
2008-03-29 wenzelm 2008-03-29 updated generated file;
2008-03-25 wenzelm 2008-03-25 *** empty log message ***
2008-02-28 berghofe 2008-02-28 Added unused_thms command.
2007-12-07 wenzelm 2007-12-07 updated;
2007-12-03 haftmann 2007-12-03 updated