Admin/update-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.