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