etc/isar-keywords.el
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-11-14 haftmann 2005-11-14 new syntax for class_package
2005-10-15 wenzelm 2005-10-15 updated;
2005-09-21 berghofe 2005-09-21 Added new "value" command.
2005-09-17 wenzelm 2005-09-17 manually generated from Isabelle/HOLCF/IOA/Complex/Import;
2005-09-01 wenzelm 2005-09-01 updated;
2005-08-25 berghofe 2005-08-25 Adapted to new code generator syntax.
2005-08-17 paulson 2005-08-17 new command to invoke ATPs
2005-07-12 berghofe 2005-07-12 Added "attach" keyword for code generator setup.
2005-07-06 huffman 2005-07-06 add keywords cpodef, pcpodef (for HOLCF)
2005-06-17 wenzelm 2005-06-17 updated;
2005-06-04 huffman 2005-06-04 add keywords fixrec and fixpat for HOLCF fixrec package
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-04-13 wenzelm 2005-04-13 *** empty log message ***
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
2004-08-16 nipkow 2004-08-16 Added "import" and "begin"
2004-06-13 wenzelm 2004-06-13 updated;
2004-04-23 wenzelm 2004-04-23 updated -- too late for Isabelle2004!
2004-04-02 ballarin 2004-04-02 Experimental command for instantiation of locales in proof contexts: instantiate <label>: <loc>
2004-01-10 webertj 2004-01-10 'refute', 'refute_params'.
2003-10-09 skalberg 2003-10-09 Added support for making constants final, that is, ensuring that no definition can be given later (useful for constants whose behaviour is fixed axiomatically rather than definitionally).
2003-07-17 skalberg 2003-07-17 Added package for definition by specification.
2003-07-11 berghofe 2003-07-11 Added keywords for random testing.
2003-02-03 berghofe 2003-02-03 Added "print_intros" command.
2002-07-21 berghofe 2002-07-21 Added program extraction keywords.
2002-07-16 wenzelm 2002-07-16 updated;
2002-02-26 wenzelm 2002-02-26 updated;
2002-02-25 wenzelm 2002-02-25 updated;
2002-02-24 wenzelm 2002-02-24 'using' command;
2001-12-05 wenzelm 2001-12-05 updated;
2001-12-03 wenzelm 2001-12-03 updated;
2001-11-06 wenzelm 2001-11-06 added "locale", "print_locale", "print_locales";
2001-11-04 wenzelm 2001-11-04 updated;
2001-11-03 wenzelm 2001-11-03 updated;
2001-10-13 wenzelm 2001-10-13 updated;
2001-10-04 wenzelm 2001-10-04 updated;
2001-09-28 wenzelm 2001-09-28 updated;
2001-08-31 wenzelm 2001-08-31 keyword classification tables for Isabelle/Isar Proof General (generated by ProofGeneral.write_keywords from Isabelle/HOLCF/IOA);