| 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 |
| Wed, 14 Feb 2001 23:43:55 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 14 Feb 2001 23:18:47 +0100 | wenzelm | handle KDE version 1 or 2; | file | diff | annotate |
| Thu, 30 Nov 2000 20:10:29 +0100 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| Tue, 21 Nov 2000 19:02:31 +0100 | wenzelm | quote executable; | file | diff | annotate |
| Tue, 19 Sep 2000 23:51:00 +0200 | wenzelm | tuned msg; | file | diff | annotate |
| Fri, 01 Sep 2000 17:50:36 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Tue, 26 Oct 1999 17:00:46 +0200 | wenzelm | Isabelle %f; | file | diff | annotate |
| Wed, 20 Oct 1999 11:05:38 +0200 | wenzelm | tuned usage; | file | diff | annotate |
| Fri, 30 Apr 1999 17:59:36 +0200 | wenzelm | improved icons; | file | diff | annotate |
| Tue, 20 Apr 1999 15:23:43 +0200 | wenzelm | fixed ISABELLE_HOME/lib/logo/isabelle-tiny.xpm; | file | diff | annotate |
| Mon, 19 Apr 1999 17:53:38 +0200 | wenzelm | improved usage; | file | diff | annotate |
| Tue, 13 Apr 1999 12:36:11 +0200 | wenzelm | -p option; | file | diff | annotate |
| Tue, 12 Jan 1999 12:17:53 +0100 | wenzelm | configure AUTO_BASH, AUTO_PERL; | file | diff | annotate |
| Fri, 28 Aug 1998 14:18:46 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 28 Aug 1998 14:08:55 +0200 | wenzelm | -d DISTDIR; | file | diff | annotate |
| Thu, 27 Aug 1998 20:15:43 +0200 | wenzelm | exec; | file | diff | annotate |
| Mon, 24 Aug 1998 17:16:49 +0200 | wenzelm | mkdir -p; | file | diff | annotate |
| Mon, 24 Aug 1998 15:49:53 +0200 | wenzelm | install binaries with absolute references to ISABELLE_HOME/bin; | file | diff | annotate |