| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Wed, 22 Nov 2000 21:47:04 +0100 | wenzelm | tuned; | file | diff | annotate |
| Fri, 01 Sep 2000 17:54:58 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Mon, 12 Jul 1999 10:38:31 +0200 | wenzelm | may get BASH_PATH etc. from env; | file | diff | annotate |
| Tue, 12 Jan 1999 17:01:28 +0100 | wenzelm | fixed again; | file | diff | annotate |
| Tue, 12 Jan 1999 13:37:40 +0100 | wenzelm | fixed AUTO_PERL; | file | diff | annotate |
| Tue, 12 Jan 1999 12:17:53 +0100 | wenzelm | configure AUTO_BASH, AUTO_PERL; | file | diff | annotate |
| Fri, 02 Jan 1998 13:24:53 +0100 | wenzelm | do require perl; | file | diff | annotate |
| Fri, 25 Apr 1997 15:06:21 +0200 | wenzelm | no longer forces default; | file | diff | annotate |
| Fri, 07 Mar 1997 14:51:50 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 07 Mar 1997 09:43:31 +0100 | wenzelm | tuned comment; | file | diff | annotate |
| Mon, 17 Feb 1997 17:22:50 +0100 | wenzelm | file moved here; | file | diff | annotate |