| Thu, 30 Nov 2000 20:10:29 +0100 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| Thu, 28 Sep 2000 14:41:48 +0200 | wenzelm | added COPYDB argument; | file | diff | annotate |
| Fri, 15 Sep 2000 20:20:45 +0200 | wenzelm | keep export of ISABELLE_TMP (!!!); | file | diff | annotate |
| Fri, 15 Sep 2000 16:31:36 +0200 | wenzelm | unexport exports; | file | diff | annotate |
| Fri, 01 Sep 2000 17:54:58 +0200 | wenzelm | GPLed; | file | diff | annotate |
| Mon, 22 Jun 1998 15:25:06 +0200 | wenzelm | check_mlhome_file; | file | diff | annotate |
| Fri, 02 Jan 1998 18:40:30 +0100 | wenzelm | feeder; | file | diff | annotate |
| Mon, 01 Dec 1997 18:22:02 +0100 | wenzelm | ISABELLE_TMP; | file | diff | annotate |
| Mon, 07 Jul 1997 09:06:26 +0200 | wenzelm | NOWRITE; | file | diff | annotate |
| Fri, 25 Apr 1997 15:10:52 +0200 | wenzelm | removed COPYDB flag; | file | diff | annotate |
| Tue, 22 Apr 1997 18:05:42 +0200 | wenzelm | fixed bash-2.0 problem; | file | diff | annotate |
| Tue, 22 Apr 1997 11:37:12 +0200 | wenzelm | removed -norc; | file | diff | annotate |
| Fri, 11 Apr 1997 17:30:15 +0200 | wenzelm | fixed { ... } shell syntax to accomodate bash 2.x; | file | diff | annotate |
| Fri, 14 Feb 1997 15:16:21 +0100 | wenzelm | semi fix of piping-quit peoblem (should work on systems with *real* sh); | file | diff | annotate |
| Thu, 23 Jan 1997 18:16:12 +0100 | wenzelm | 'rm -f' instead of 'mv -f'; | file | diff | annotate |
| Wed, 18 Dec 1996 14:31:27 +0100 | wenzelm | fixed EXIT def; | file | diff | annotate |
| Mon, 16 Dec 1996 10:29:30 +0100 | wenzelm | SML/NJ startup script (for 0.93). | file | diff | annotate |