| Wed, 08 Mar 2000 17:40:24 +0100 | wenzelm | observe COMPRESS option; | file | diff | annotate |
| Mon, 22 Jun 1998 15:25:06 +0200 | wenzelm | check_mlhome_file; | file | diff | annotate |
| Wed, 31 Dec 1997 15:19:51 +0100 | wenzelm | use feeder to pipe into ML; | 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 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 |
| Mon, 10 Feb 1997 16:16:55 +0100 | wenzelm | tuned startup; | file | diff | annotate |
| Thu, 23 Jan 1997 18:10:29 +0100 | wenzelm | 'rm -f' instead of 'cp -f'; | file | diff | annotate |
| Mon, 16 Dec 1996 09:59:18 +0100 | wenzelm | added symbolinput filter; | file | diff | annotate |
| Fri, 13 Dec 1996 17:48:03 +0100 | wenzelm | now discgarb called only for changed databases; | file | diff | annotate |
| Mon, 09 Dec 1996 16:42:24 +0100 | wenzelm | various fixes; | file | diff | annotate |
| Wed, 04 Dec 1996 13:18:26 +0100 | wenzelm | replaced cat by ucat; | file | diff | annotate |
| Mon, 02 Dec 1996 18:24:01 +0100 | wenzelm | run-polyml: Poly/ML startup script. | file | diff | annotate |