Admin/update-keywords
2010-08-27 wenzelm 2010-08-27 discontinued separate Pure-ProofGeneral keywords session -- protocol commands are already defined in Pure;
2010-07-12 wenzelm 2010-07-12 removed unused/untested IOA 'automaton' package;
2010-06-02 wenzelm 2010-06-02 updated keywords;
2009-11-25 wenzelm 2009-11-25 include HOL-SMT keywords;
2009-11-14 wenzelm 2009-11-14 include HOL-Boogie keywords by default;
2009-11-14 wenzelm 2009-11-14 generate keywords for Emacs Proof General only; tuned;
2008-10-04 wenzelm 2008-10-04 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-10-03 wenzelm 2008-10-03 removed HOL-Plain -- already included in HOL;
2008-06-28 wenzelm 2008-06-28 include HOL-Plain;
2007-10-24 wenzelm 2007-10-24 added HOL-Statespace session;
2007-10-08 wenzelm 2007-10-08 moved HOL-Nominal keywords into default collection (isar-keywords.el);
2007-10-07 wenzelm 2007-10-07 emacs vs. jedit;
2007-10-06 wenzelm 2007-10-06 use isatool keywords -- generate from logs instead of session images;
2007-07-10 wenzelm 2007-07-10 cd ISABELLE_HOME/etc;
2006-11-11 wenzelm 2006-11-11 Update standard keyword files.