| 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 |