| Thu, 06 Mar 2008 19:21:26 +0100 | wenzelm | rearrangements to make latest Poly/ML the default, not old 4.x; | file | diff | annotate |
| Sat, 20 Oct 2007 20:31:50 +0200 | wenzelm | discontinued support for 4.1.1, 4.1.2; | file | diff | annotate |
| Tue, 14 Nov 2006 00:18:57 +0100 | wenzelm | removed old cygwin wrappers; | file | diff | annotate |
| Mon, 14 Nov 2005 15:14:59 +0100 | wenzelm | support for polyml-4.2.0; | file | diff | annotate |
| Tue, 16 Aug 2005 13:42:17 +0200 | wenzelm | proper ML_DBASE for .../bin/poly; | file | diff | annotate |
| Mon, 01 Aug 2005 19:20:22 +0200 | wenzelm | PolyML.Compiler.printInAlphabeticalOrder := false; | file | diff | annotate |
| Tue, 14 Jun 2005 22:19:32 +0200 | wenzelm | use POLY instead of DISCGARB; | file | diff | annotate |
| Tue, 14 Jun 2005 22:08:53 +0200 | wenzelm | discontinued polyml-3.x; | file | diff | annotate |
| Sat, 11 Jun 2005 23:17:28 +0200 | wenzelm | some cygwin support; | file | diff | annotate |
| Sun, 05 Jun 2005 21:32:37 +0200 | wenzelm | DISCGARB_OPTIONS back in od position; | file | diff | annotate |
| Sun, 05 Jun 2005 11:31:17 +0200 | wenzelm | DISCGARB_OPTIONS: proper treatment of specific polyml versions; | file | diff | annotate |
| Tue, 26 Apr 2005 19:51:56 +0200 | wenzelm | no longer need feeder to run normal interactive sessions; | file | diff | annotate |
| Mon, 21 Jun 2004 10:25:57 +0200 | kleing | Merged in license change from Isabelle2004 | file | diff | annotate |
| Tue, 06 May 2003 12:29:49 +0200 | kleing | use -Smax with poly 4.1.3 for maximum database space (see poly release notes) | file | diff | annotate |
| Fri, 01 Mar 2002 22:32:10 +0100 | wenzelm | option -S 180; | file | diff | annotate |
| Thu, 17 Jan 2002 21:07:11 +0100 | wenzelm | cover polyml-4.1.2; | file | diff | annotate |
| Fri, 09 Nov 2001 00:01:55 +0100 | wenzelm | got rid of obsolete input filtering; | file | diff | annotate |
| Wed, 08 Aug 2001 15:16:38 +0200 | wenzelm | [ "$ML_SYSTEM" = polyml-4.1.1 ] && DISCGARB_OPTIONS="$DISCGARB_OPTIONS -S 120"; | file | diff | annotate |
| Thu, 30 Nov 2000 20:10:29 +0100 | wenzelm | /usr/bin/env bash; | file | diff | annotate |
| Thu, 12 Oct 2000 17:48:06 +0200 | wenzelm | accomodate Poly/ML 4.0; | 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 19:32:27 +0200 | wenzelm | hunting gremlins ...; | 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 |
| Thu, 31 Aug 2000 17:25:52 +0200 | wenzelm | improved exit function for polyml-4.0; | file | diff | annotate |
| Mon, 08 May 2000 10:49:27 +0200 | wenzelm | always discgarb -c; | file | diff | annotate |
| 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 |