| Sat, 20 Dec 2008 11:39:27 +0100 | wenzelm | removed Ids; | file | diff | annotate |
| Sun, 30 Nov 2008 14:03:45 +0100 | wenzelm | removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; | file | diff | annotate |
| Tue, 21 Oct 2008 20:18:07 +0200 | wenzelm | tuned usage line; | file | diff | annotate |
| Sat, 04 Oct 2008 17:40:56 +0200 | wenzelm | simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle; | file | diff | annotate |
| Tue, 08 Apr 2008 15:47:12 +0200 | wenzelm | removed obsolete AUTO_BASH feature; | file | diff | annotate |
| Fri, 01 Jul 2005 14:41:57 +0200 | wenzelm | isatool install: removed KDE option; | file | diff | annotate |
| Tue, 26 Apr 2005 20:41:37 +0200 | wenzelm | removed -a option; | file | diff | annotate |