Admin/update-keywords
2008-10-04 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-10-03 wenzelm removed HOL-Plain -- already included in HOL;
2008-06-28 wenzelm include HOL-Plain;
2007-10-24 wenzelm added HOL-Statespace session;
2007-10-08 wenzelm moved HOL-Nominal keywords into default collection (isar-keywords.el);
2007-10-07 wenzelm emacs vs. jedit;
2007-10-06 wenzelm use isatool keywords -- generate from logs instead of session images;
2007-07-10 wenzelm cd ISABELLE_HOME/etc;
2006-11-11 wenzelm Update standard keyword files.
less more (0) tip