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