| 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 |