| Sat, 04 Oct 2008 16:05:09 +0200 | wenzelm | replaced ISATOOL by ISABELLE_TOOL; | file | diff | annotate |
| Thu, 28 Sep 2000 14:34:49 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 27 Aug 1999 10:48:47 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |