2012-04-16 wenzelm 2012-04-16 more precise handling of java failure, due to missing ISABELLE_JDK_HOME;
2012-04-14 wenzelm 2012-04-14 more robust invocation via ISABELLE_JDK_HOME and SCALA_HOME;
2012-04-14 wenzelm 2012-04-14 more robust treatment of ISABELLE_HOME on windows: eliminate spaces and funny unicode characters in directory name via DOS~1 notation;
2012-04-01 wenzelm 2012-04-01 less brutal return from function, to allow caller to report error;
2012-03-26 wenzelm 2012-03-26 more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
2012-03-01 wenzelm 2012-03-01 more tolerant cygpath invocation, allow empty CLASSPATH;
2011-09-27 wenzelm 2011-09-27 tuned message, which is displayed after termination of on Mac OS;
2011-06-23 wenzelm 2011-06-23 ensure export of initial CLASSPATH;
2011-02-13 wenzelm 2011-02-13 more explicit exit due to failed etc/settings -- normally return code 0=true and 1=false could be tolerated, but bash syntax errors also return 1;
2011-02-13 wenzelm 2011-02-13 eliminated somewhat obsolete warning -- former "$HOME/Isabelle" vs. "$HOME/isabelle" no longer exist;
2011-02-13 wenzelm 2011-02-13 tuned;
2011-01-21 wenzelm 2011-01-21 JVM/Windows: more robust treatment of unicode in file names;
2011-01-19 wenzelm 2011-01-19 clasrified classpath: add in front in accordance to librarypath (cf. b7cd80330a16), for slightly more robustness;
2011-01-19 wenzelm 2011-01-19 added librarypath: shared library convenience in bash, keeping LD_LIBRARY_PATH and DYLD_LIBRARY_PATH separate;
2011-01-11 wenzelm 2011-01-11 isabelle version -i;
2010-11-16 wenzelm 2010-11-16 init_component: require absolute path (when invoked by user scripts);
2010-11-16 wenzelm 2010-11-16 paranoia export of CLASSPATH, just in case the initial status via allexport is lost due to other scripts;
2010-04-17 wenzelm 2010-04-17 added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
2010-04-17 wenzelm 2010-04-17 THIS_CYGWIN;
2010-01-04 wenzelm 2010-01-04 removed function "isabelle-process", keeping "isabelle" only -- functions within the process environment might get passed through a genuine /bin/sh, which does not allow non-identifiers here;
2010-01-04 wenzelm 2010-01-04 discontinued old ISABELLE and ISATOOL environment settings;
2010-01-04 wenzelm 2010-01-04 shell functions "isabelle-process" and "isabelle" refer to the proper executables statically -- for interactive use or sloppy bash scripts;
2009-12-09 wenzelm 2009-12-09 more robust Cygwin.config: actually check Wow6432Node, prefer explicit CYGWIN_ROOT in any case;
2009-11-08 wenzelm 2009-11-08 init_component: slightly more robust read (raw input, succeed on non-terminated last line);
2009-10-28 wenzelm 2009-10-28 proper nested quotes; give up unposixly < <(...) for now -- it needs to be exportable through the global environment (e.g. via make or sh);
2009-10-28 wenzelm 2009-10-28 components: ensure that the last line is read, even if it lacks EOL;
2009-10-28 wenzelm 2009-10-28 slightly more robust error message;
2009-08-22 wenzelm 2009-08-22 function splitarray: splightly more abstract version that accomodates older bashes;
2009-08-04 wenzelm 2009-08-04 more uniform handling of ISABELLE_HOME_USER component; discontinued ISABELLE_IGNORE_USER_SETTINGS (ever used? cf. c567f9fd61a2);
2009-08-04 wenzelm 2009-08-04 basic support for components (which imitate the usual Isabelle directory layout);
2009-06-09 wenzelm 2009-06-09 simplified IsabelleSystem.platform_path for cygwin; eliminated ISABELLE_ROOT_JVM; tuned;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-10-04 wenzelm 2008-10-04 simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
2008-10-04 wenzelm 2008-10-04 ISABELLE_PROCESS replaces ISABELLE and ISABELLE_TOOL replaces ISATOOL -- old bindings stay for a while (legacy feature);
2008-08-28 wenzelm 2008-08-28 provide HOME_JVM=HOME to prevent implicit cygpath mangling;
2008-08-21 wenzelm 2008-08-21 proper ISABELLE_ROOT_JVM on Cygwin;
2008-08-21 wenzelm 2008-08-21 added ISABELLE_ROOT_JVM; removed obsolete ISABELLE_HOME_JVM, ISABELLE_HOME_USER_JVM;
2008-08-16 wenzelm 2008-08-16 refined scala/java wrappers via isatool;
2008-08-15 wenzelm 2008-08-15 added ISABELLE_HOME_JVM;
2008-08-15 wenzelm 2008-08-15 proper jvmpath for cygwin;
2008-08-15 wenzelm 2008-08-15 refined JVM path wrappers: Isabelle environment holds Unix version of CLASSPATH, javawrapper/scalawrapper convert it back;
2007-12-15 wenzelm 2007-12-15 added javapath (for cygwin);
2007-11-15 wenzelm 2007-11-15 ISABELLE_IDENTIFIER is filled in automatically, not taken from the *long* form of isatool version!
2006-11-23 wenzelm 2006-11-23 added ISABELLE_IDENTIFIER; removed THIS_IS_ISABELLE_BUILD magic;
2006-11-22 wenzelm 2006-11-22 add ISABELLE_VERSION to ML_IDENTIFIER, unless this is repository or build;
2005-06-06 kleing 2005-06-06 fixed (exited abnormally when ~/isabelle/etc/settings not present)
2005-06-05 wenzelm 2005-06-05 observe ISABELLE_IGNORE_USER_SETTINGS;
2005-05-17 wenzelm 2005-05-17 export ISABELLE_HOME, do not normalize; tuned;
2005-04-26 wenzelm 2005-04-26 tuned;
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
2001-12-27 wenzelm 2001-12-27 warn for spaces in ISABELLE_HOME;
2001-09-08 wenzelm 2001-09-08 tuned;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
2000-08-24 wenzelm 2000-08-24 choosefrom: support easy settings;
2000-07-01 wenzelm 2000-07-01 added ISABELLE_SITE_SETTINGS_PRESENT;
1999-10-07 wenzelm 1999-10-07 ISABELLE_SETTINGS_PRESENT: avoid multiple invocation;
1999-04-12 wenzelm 1999-04-12 ML_PLATFORM;
1997-05-14 wenzelm 1997-05-14 tuned;
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-17 wenzelm 1997-04-17 eliminated PLATFORM;