lib/scripts/run-polyml
2010-11-11 wenzelm 2010-11-11 tuned error message;
2010-09-22 wenzelm 2010-09-22 isabelle-process: less verbose no-commit mode;
2009-05-31 wenzelm 2009-05-31 removed "compress" option from isabelle-process and isabelle usedir -- this is always enabled;
2009-05-31 wenzelm 2009-05-31 removed obsolete COPYDB flag;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-03-06 wenzelm 2008-03-06 rearrangements to make latest Poly/ML the default, not old 4.x;
2007-10-20 wenzelm 2007-10-20 discontinued support for 4.1.1, 4.1.2;
2006-11-14 wenzelm 2006-11-14 removed old cygwin wrappers;
2005-11-14 wenzelm 2005-11-14 support for polyml-4.2.0;
2005-08-16 wenzelm 2005-08-16 proper ML_DBASE for .../bin/poly;
2005-08-01 wenzelm 2005-08-01 PolyML.Compiler.printInAlphabeticalOrder := false;
2005-06-14 wenzelm 2005-06-14 use POLY instead of DISCGARB;
2005-06-14 wenzelm 2005-06-14 discontinued polyml-3.x; made cygwin functionality less intrusive; more quoting of expressions;
2005-06-11 wenzelm 2005-06-11 some cygwin support;
2005-06-05 wenzelm 2005-06-05 DISCGARB_OPTIONS back in od position;
2005-06-05 wenzelm 2005-06-05 DISCGARB_OPTIONS: proper treatment of specific polyml versions; the feeder is back (previous version did not really work with Isar.loop);
2005-04-26 wenzelm 2005-04-26 no longer need feeder to run normal interactive sessions;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2003-05-06 kleing 2003-05-06 use -Smax with poly 4.1.3 for maximum database space (see poly release notes)
2002-03-01 wenzelm 2002-03-01 option -S 180;
2002-01-17 wenzelm 2002-01-17 cover polyml-4.1.2;
2001-11-09 wenzelm 2001-11-09 got rid of obsolete input filtering;
2001-08-08 wenzelm 2001-08-08 [ "$ML_SYSTEM" = polyml-4.1.1 ] && DISCGARB_OPTIONS="$DISCGARB_OPTIONS -S 120";
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
2000-10-12 wenzelm 2000-10-12 accomodate Poly/ML 4.0;
2000-09-28 wenzelm 2000-09-28 added COPYDB argument;
2000-09-15 wenzelm 2000-09-15 keep export of ISABELLE_TMP (!!!);
2000-09-15 wenzelm 2000-09-15 hunting gremlins ...;
2000-09-15 wenzelm 2000-09-15 unexport exports;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
2000-08-31 wenzelm 2000-08-31 improved exit function for polyml-4.0;
2000-05-08 wenzelm 2000-05-08 always discgarb -c;
2000-03-08 wenzelm 2000-03-08 observe COMPRESS option;
1998-06-22 wenzelm 1998-06-22 check_mlhome_file;
1997-12-31 wenzelm 1997-12-31 use feeder to pipe into ML; cleaned up;
1997-12-01 wenzelm 1997-12-01 ISABELLE_TMP;
1997-07-07 wenzelm 1997-07-07 NOWRITE;
1997-04-25 wenzelm 1997-04-25 removed COPYDB flag;
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-04-11 wenzelm 1997-04-11 fixed { ... } shell syntax to accomodate bash 2.x;
1997-02-10 wenzelm 1997-02-10 tuned startup; semi fix of piping-quit peoblem (should work on systems with *real& sh);
1997-01-23 wenzelm 1997-01-23 'rm -f' instead of 'cp -f';
1996-12-16 wenzelm 1996-12-16 added symbolinput filter;
1996-12-13 wenzelm 1996-12-13 now discgarb called only for changed databases;
1996-12-09 wenzelm 1996-12-09 various fixes;
1996-12-04 wenzelm 1996-12-04 replaced cat by ucat; fixed RC handling;
1996-12-02 wenzelm 1996-12-02 run-polyml: Poly/ML startup script.