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