2006-02-01 ago updated;
2006-01-25 ago updated;
2006-01-23 ago removed problematic keyword 'atom'
2006-01-17 ago substantial improvements in code generator
2006-01-07 ago updated;
2006-01-03 ago class now a keyword
2006-01-03 ago updated -- lost update!?
2005-12-29 ago added atom keyword
2005-12-29 ago changes in code generator keywords
2005-12-09 ago substantial improvements for class code generation
2005-12-02 ago adopted keyword for code generator
2005-11-22 ago added code generator syntax
2005-11-22 ago added code generator syntax
2005-11-14 ago new syntax for class_package
2005-10-15 ago updated;
2005-09-21 ago Added new "value" command.
2005-09-17 ago manually generated from Isabelle/HOLCF/IOA/Complex/Import;
2005-09-01 ago updated;
2005-08-25 ago Adapted to new code generator syntax.
2005-08-17 ago new command to invoke ATPs
2005-07-12 ago Added "attach" keyword for code generator setup.
2005-07-06 ago add keywords cpodef, pcpodef (for HOLCF)
2005-06-17 ago updated;
2005-06-04 ago add keywords fixrec and fixpat for HOLCF fixrec package
2005-06-01 ago Locales: new element constrains, parameter renaming with syntax,
2005-05-22 ago updated;
2005-04-17 ago updated;
2005-04-13 ago *** empty log message ***
2005-03-24 ago Further work on interpretation commands. New command `interpret' for
2005-03-10 ago Registrations of global locale interpretations: improved, better naming.
2005-03-09 ago First version of global registration command.
2004-12-13 ago added find_rewrites
2004-08-18 ago import -> imports
2004-08-16 ago Added "import" and "begin"
2004-06-13 ago updated;
2004-04-23 ago updated -- too late for Isabelle2004!
2004-04-02 ago Experimental command for instantiation of locales in proof contexts:
2004-01-10 ago 'refute', 'refute_params'.
2003-10-09 ago Added support for making constants final, that is, ensuring that no
2003-07-17 ago Added package for definition by specification.
2003-07-11 ago Added keywords for random testing.
2003-02-03 ago Added "print_intros" command.
2002-07-21 ago Added program extraction keywords.
2002-07-16 ago updated;
2002-02-26 ago updated;
2002-02-25 ago updated;
2002-02-24 ago 'using' command;
2001-12-05 ago updated;
2001-12-03 ago updated;
2001-11-06 ago added "locale", "print_locale", "print_locales";
2001-11-04 ago updated;
2001-11-03 ago updated;
2001-10-13 ago updated;
2001-10-04 ago updated;
2001-09-28 ago updated;
2001-08-31 ago keyword classification tables for Isabelle/Isar Proof General