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