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