etc/isar-keywords.el
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);