etc/isar-keywords-ZF.el
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 bulwahn 2009-05-11 fixed code_pred command
2009-05-11 bulwahn 2009-05-11 Added pred_code command
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-12 ballarin 2008-12-12 Porting to new locales.
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-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-14 wenzelm 2008-06-14 updated generated file;
2008-05-15 wenzelm 2008-05-15 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
2007-10-17 wenzelm 2007-10-17 updated;
2007-10-10 wenzelm 2007-10-10 updated;
2007-10-08 haftmann 2007-10-08 updated keywords
2007-10-08 wenzelm 2007-10-08 tuned generated comment;
2007-10-08 wenzelm 2007-10-08 updated;
2007-10-06 wenzelm 2007-10-06 updated;
2007-10-06 wenzelm 2007-10-06 updated;
2007-08-20 haftmann 2007-08-20 updated keywords
2007-08-13 haftmann 2007-08-13 renamed keyword "to" to "module_name"
2007-08-01 wenzelm 2007-08-01 updated;
2007-07-25 wenzelm 2007-07-25 updated;
2007-07-12 wenzelm 2007-07-12 updated;
2007-07-10 haftmann 2007-07-10 updated keywords
2007-05-08 wenzelm 2007-05-08 updated;
2007-03-20 haftmann 2007-03-20 updated keywords
2007-02-10 haftmann 2007-02-10 updated keywords
2007-01-28 wenzelm 2007-01-28 updated;
2007-01-19 wenzelm 2007-01-19 updated
2007-01-16 haftmann 2007-01-16 updated keywords
2006-12-12 wenzelm 2006-12-12 updated;
2006-12-09 wenzelm 2006-12-09 updated;
2006-11-11 wenzelm 2006-11-11 updated;
2006-11-07 wenzelm 2006-11-07 updated;
2006-10-20 haftmann 2006-10-20 code_constsubst -> code_axioms
2006-10-13 wenzelm 2006-10-13 updated;
2006-10-10 haftmann 2006-10-10 added code_abstype and code_constsubst
2006-10-02 haftmann 2006-10-02 normal_form now a diagnostic command
2006-09-25 haftmann 2006-09-25 added code_instname
2006-09-19 haftmann 2006-09-19 code_gen now peek keyword
2006-09-18 wenzelm 2006-09-18 updated;
2006-09-01 haftmann 2006-09-01 final syntax for some Isar code generator keywords
2006-08-29 haftmann 2006-08-29 updated keywords