| 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 |
| Tue, 26 Apr 2005 19:51:12 +0200 | wenzelm | restored AUTO_BASH/PERL -- beware of ./configure! | file | diff | annotate |
| Thu, 14 Apr 2005 19:16:07 +0200 | aspinall | Add RDISTDIR option used by Isabelle RPM. | file | diff | annotate |
| Fri, 04 Mar 2005 15:07:34 +0100 | skalberg | Removed practically all references to Library.foldr. | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Sat, 08 Sep 2001 20:00:31 +0200 | wenzelm | smart selection of isabelle-process versus isabelle-interface; | file | diff | annotate |