etc/isar-keywords-ZF.el
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
2006-08-14 haftmann 2006-08-14 updated code generator keywords
2006-08-08 haftmann 2006-08-08 added code_constname keyword
2006-06-14 haftmann 2006-06-14 keyword update
2006-06-12 haftmann 2006-06-12 updated keywords
2006-06-06 wenzelm 2006-06-06 updated;
2006-05-16 wenzelm 2006-05-16 updated;
2006-05-13 wenzelm 2006-05-13 updated;
2006-03-14 wenzelm 2006-03-14 updated;
2006-03-14 wenzelm 2006-03-14 updated;
2006-02-27 haftmann 2006-02-27 added nbe
2006-02-16 wenzelm 2006-02-16 updated;
2006-02-01 wenzelm 2006-02-01 updated;
2006-01-25 wenzelm 2006-01-25 updated;
2006-01-23 haftmann 2006-01-23 removed problematic keyword 'atom'
2006-01-17 haftmann 2006-01-17 substantial improvements in code generator
2006-01-07 wenzelm 2006-01-07 updated;
2006-01-03 haftmann 2006-01-03 class now a keyword
2006-01-03 wenzelm 2006-01-03 updated -- lost update!?
2005-12-29 haftmann 2005-12-29 added atom keyword
2005-12-29 haftmann 2005-12-29 changes in code generator keywords
2005-12-09 haftmann 2005-12-09 substantial improvements for class code generation
2005-12-02 haftmann 2005-12-02 adopted keyword for code generator
2005-11-22 haftmann 2005-11-22 added code generator syntax
2005-11-22 haftmann 2005-11-22 added code generator syntax
2005-10-15 wenzelm 2005-10-15 updated;
2005-09-21 berghofe 2005-09-21 Added new "value" command.
2005-09-01 wenzelm 2005-09-01 updated;
2005-08-25 berghofe 2005-08-25 Adapted to new code generator syntax.
2005-06-17 wenzelm 2005-06-17 updated;
2005-06-01 ballarin 2005-06-01 Locales: new element constrains, parameter renaming with syntax, experimental command instantiate withdrawn.
2005-05-22 wenzelm 2005-05-22 updated;
2005-04-17 wenzelm 2005-04-17 updated;
2005-03-24 ballarin 2005-03-24 Further work on interpretation commands. New command `interpret' for interpretation in proof contexts.
2005-03-10 ballarin 2005-03-10 Registrations of global locale interpretations: improved, better naming.
2005-03-09 ballarin 2005-03-09 First version of global registration command.
2004-12-13 nipkow 2004-12-13 added find_rewrites
2004-08-18 nipkow 2004-08-18 import -> imports