lib/scripts/run-polyml
Tue, 06 May 2003 12:29:49 +0200 kleing use -Smax with poly 4.1.3 for maximum database space (see poly release notes)
Fri, 01 Mar 2002 22:32:10 +0100 wenzelm option -S 180;
Thu, 17 Jan 2002 21:07:11 +0100 wenzelm cover polyml-4.1.2;
Fri, 09 Nov 2001 00:01:55 +0100 wenzelm got rid of obsolete input filtering;
Wed, 08 Aug 2001 15:16:38 +0200 wenzelm [ "$ML_SYSTEM" = polyml-4.1.1 ] && DISCGARB_OPTIONS="$DISCGARB_OPTIONS -S 120";
Thu, 30 Nov 2000 20:10:29 +0100 wenzelm /usr/bin/env bash;
Thu, 12 Oct 2000 17:48:06 +0200 wenzelm accomodate Poly/ML 4.0;
Thu, 28 Sep 2000 14:41:48 +0200 wenzelm added COPYDB argument;
Fri, 15 Sep 2000 20:20:45 +0200 wenzelm keep export of ISABELLE_TMP (!!!);
Fri, 15 Sep 2000 19:32:27 +0200 wenzelm hunting gremlins ...;
Fri, 15 Sep 2000 16:31:36 +0200 wenzelm unexport exports;
Fri, 01 Sep 2000 17:54:58 +0200 wenzelm GPLed;
Thu, 31 Aug 2000 17:25:52 +0200 wenzelm improved exit function for polyml-4.0;
Mon, 08 May 2000 10:49:27 +0200 wenzelm always discgarb -c;
Wed, 08 Mar 2000 17:40:24 +0100 wenzelm observe COMPRESS option;
Mon, 22 Jun 1998 15:25:06 +0200 wenzelm check_mlhome_file;
Wed, 31 Dec 1997 15:19:51 +0100 wenzelm use feeder to pipe into ML;
Mon, 01 Dec 1997 18:22:02 +0100 wenzelm ISABELLE_TMP;
Mon, 07 Jul 1997 09:06:26 +0200 wenzelm NOWRITE;
Fri, 25 Apr 1997 15:10:52 +0200 wenzelm removed COPYDB flag;
Tue, 22 Apr 1997 11:37:12 +0200 wenzelm removed -norc;
Fri, 11 Apr 1997 17:30:15 +0200 wenzelm fixed { ... } shell syntax to accomodate bash 2.x;
Mon, 10 Feb 1997 16:16:55 +0100 wenzelm tuned startup;
Thu, 23 Jan 1997 18:10:29 +0100 wenzelm 'rm -f' instead of 'cp -f';
Mon, 16 Dec 1996 09:59:18 +0100 wenzelm added symbolinput filter;
Fri, 13 Dec 1996 17:48:03 +0100 wenzelm now discgarb called only for changed databases;
Mon, 09 Dec 1996 16:42:24 +0100 wenzelm various fixes;
Wed, 04 Dec 1996 13:18:26 +0100 wenzelm replaced cat by ucat;
Mon, 02 Dec 1996 18:24:01 +0100 wenzelm run-polyml: Poly/ML startup script.
less more (0) tip