| Wed, 24 Oct 2007 19:46:00 +0200 | wenzelm | added HOL-Statespace session; | file | diff | annotate |
| Mon, 08 Oct 2007 18:13:01 +0200 | wenzelm | moved HOL-Nominal keywords into default collection (isar-keywords.el); | file | diff | annotate |
| Sun, 07 Oct 2007 13:32:14 +0200 | wenzelm | emacs vs. jedit; | file | diff | annotate |
| Sat, 06 Oct 2007 22:07:16 +0200 | wenzelm | use isatool keywords -- generate from logs instead of session images; | file | diff | annotate |
| Tue, 10 Jul 2007 13:12:53 +0200 | wenzelm | cd ISABELLE_HOME/etc; | file | diff | annotate |
| Sat, 11 Nov 2006 14:52:25 +0100 | wenzelm | Update standard keyword files. | file | diff | annotate |