bin/isabelle
21 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
2016-04-03 wenzelm 2016-04-03 renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
2016-04-03 wenzelm 2016-04-03 clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
2012-08-19 wenzelm 2012-08-19 tuned message;
2011-03-26 wenzelm 2011-03-26 suppress Mercurial backup files; uniform treatment of tool filtering in bash/perl/scala;
2011-03-23 wenzelm 2011-03-23 list Isabelle tools via perl script, which is much faster that bash plumbing, especially on Cygwin; exclude backup files;
2009-11-28 wenzelm 2009-11-28 proper quoting of array expansion -- allow spaces in components;
2009-08-22 wenzelm 2009-08-22 function splitarray: splightly more abstract version that accomodates older bashes;
2009-08-04 wenzelm 2009-08-04 change IFS only locally -- thanks to bash arrays;
2008-12-01 wenzelm 2008-12-01 proper check of ISABELLE_TOOLS directories;
2008-10-04 wenzelm 2008-10-04 tuned isabelle usage;
2008-10-04 wenzelm 2008-10-04 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2005-05-17 wenzelm 2005-05-17 proper treatment of directory links; tuned;
2005-04-27 gagern 2005-04-27 make symlink handling compatible with whitespaces
2005-04-26 wenzelm 2005-04-26 improved handling of symlinks;
2005-04-20 gagern 2005-04-20 removed redundant readlink call
2005-04-20 gagern 2005-04-20 Allow symlinks to shell scripts
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-09-25 wenzelm 2001-09-25 tuned;
2001-09-08 wenzelm 2001-09-08 smart selection of isabelle-process versus isabelle-interface;
2001-01-16 wenzelm 2001-01-16 -f option;
2000-12-04 wenzelm 2000-12-04 proper order of modes;
2000-11-30 wenzelm 2000-11-30 /usr/bin/env bash;
2000-11-22 wenzelm 2000-11-22 tuned;
2000-09-28 wenzelm 2000-09-28 option -C;
2000-09-15 wenzelm 2000-09-15 tuned msg;
2000-09-15 wenzelm 2000-09-15 -P option;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names; tuned;
2000-03-08 wenzelm 2000-03-08 option -c: tell ML system to compress output image;
1999-10-20 wenzelm 1999-10-20 tuned usage;
1999-02-18 wenzelm 1999-02-18 fixed order of multiple -m options;
1998-11-24 wenzelm 1998-11-24 Isar.main();
1998-11-09 wenzelm 1998-11-09 option -I: startup Isar interaction mode;
1998-01-08 wenzelm 1998-01-08 tuned;
1998-01-05 wenzelm 1998-01-05 added -u option (again);
1997-12-03 wenzelm 1997-12-03 pass return code!!
1997-12-01 wenzelm 1997-12-01 ISABELLE_TMP;
1997-07-07 wenzelm 1997-07-07 added -w option;
1997-05-15 wenzelm 1997-05-15 fixed bash path!!!
1997-05-14 wenzelm 1997-05-14 renamed DEFAULT_LOGIC to ISABELLE_LOGIC;
1997-05-14 wenzelm 1997-05-14 removed -u option;
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-25 wenzelm 1997-04-25 removed -c option;
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-04-17 wenzelm 1997-04-17 eliminated PLATFORM;
1997-04-11 wenzelm 1997-04-11 fixed { ... } shell syntax to accomodate bash 2.x;
1997-03-07 wenzelm 1997-03-07 renamed SYSTEM to RAW_ML_SYSTEM;
1997-03-06 wenzelm 1997-03-06 even more robust and user friendly invocation (no longer requieres absolute path names);
1997-03-03 wenzelm 1997-03-03 fixed -m order;
1997-02-28 wenzelm 1997-02-28 more robust handling of invocation errors; added -m MODE option;
1997-02-06 wenzelm 1997-02-06 removed getplatform;
1996-12-16 wenzelm 1996-12-16 now fails if getsettings not found;
1996-12-09 wenzelm 1996-12-09 added -norc option; error output to stderr; removed -o option; changed -u ML text;
1996-12-04 wenzelm 1996-12-04 improved 'not found' messages;
1996-12-02 wenzelm 1996-12-02 isabelle: Basic Isabelle startup script.