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