lib/scripts/getsettings
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;
1997-03-06 wenzelm 1997-03-06 added ISABELLE_HOME normalization;
1997-02-17 wenzelm 1997-02-17 tuned comments;
1997-02-14 wenzelm 1997-02-14 globally unset ENV, BASH_ENV;
1997-02-06 wenzelm 1997-02-06 integrated getplatform stuff; added ISABELLE_OUTPUT_DIR;
1997-01-07 wenzelm 1997-01-07 added ISABELLE, ISATOOL;
1996-12-17 wenzelm 1996-12-17 improved error handling;
1996-12-09 wenzelm 1996-12-09 *** empty log message ***
1996-12-04 wenzelm 1996-12-04 *** empty log message ***
1996-12-02 wenzelm 1996-12-02 getsettings: bash source script to augment current env.