lib/scripts/getsettings
Tue, 05 Jul 2022 13:12:04 +0200 wenzelm switch to Scala 3; draft default tip
Fri, 01 Apr 2022 10:55:32 +0200 wenzelm clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3;
Thu, 15 Jul 2021 22:09:45 +0200 wenzelm more robust: component might be absent;
Thu, 15 Jul 2021 19:51:01 +0200 wenzelm tuned;
Thu, 15 Jul 2021 17:33:06 +0200 wenzelm more robust: avoid duplicate classpath entries;
Wed, 31 Mar 2021 22:58:17 +0200 wenzelm further clarification of Isabelle distribution identification -- avoid odd patching of sources;
Wed, 31 Mar 2021 18:12:46 +0200 wenzelm clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;
Sun, 13 Dec 2020 13:29:04 +0100 wenzelm updated "macOS" terminology: current Big Sur is already version 11;
Mon, 17 Aug 2020 13:16:42 +0200 wenzelm more systematic support for special directories;
Mon, 17 Aug 2020 12:35:03 +0200 wenzelm proper init of cumulative settings;
Mon, 23 Dec 2019 22:35:54 +0100 wenzelm tuned;
Mon, 23 Dec 2019 22:24:28 +0100 wenzelm updated platform situation: 32bit variants are marginal or absent;
Wed, 20 Mar 2019 21:57:02 +0100 wenzelm more robust reference to ghc exe (with multi-platform support);
Wed, 20 Mar 2019 20:15:30 +0100 wenzelm access OCaml tools and libraries via ISABELLE_OCAMLFIND;
Thu, 14 Mar 2019 13:54:31 +0000 haftmann dedicated environment setting for ocaml environment: ISABELLE_OPAM_ROOT is always present even if no envionrment is available
Mon, 10 Dec 2018 23:03:20 +0100 wenzelm more formal Haskell project setup, with dependencies on packages from "stackage";
Thu, 08 Nov 2018 16:18:12 +0100 wenzelm clarified tool setup for GHC / OCaml: discontinued "isabelle ghc", "isabelle ocaml", "isabelle ocamlc" to avoid confusion with traditional settings variables for executables (these are still required in existing applications, notably in session options [condition = ISABELLE_GHC] etc. and codegen setup;
Mon, 05 Nov 2018 20:53:16 +0100 wenzelm more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing);
Wed, 17 Oct 2018 22:36:51 +0200 wenzelm more portable;
Wed, 17 Oct 2018 22:21:01 +0200 wenzelm proper path;
Wed, 17 Oct 2018 21:53:38 +0200 wenzelm avoid strict evaluation of "isabelle_stack path --programs";
Wed, 17 Oct 2018 21:42:29 +0200 wenzelm enforce settings that are likely to be outdated, e.g. in $ISABELLE_HOME_USER/etc/settings;
Wed, 17 Oct 2018 21:38:07 +0200 wenzelm support for GHC via command-line tools;
Mon, 08 Oct 2018 15:42:43 +0200 wenzelm support for OCaml via command-line tools;
Sat, 19 May 2018 15:45:45 +0200 wenzelm clarified store directories;
Fri, 20 Apr 2018 11:34:12 +0200 wenzelm more robust, notably for jdk-10.0.1 where jre is absent;
Mon, 27 Nov 2017 15:10:50 +0100 wenzelm updated to official release of polyml-5.7.1;
Thu, 10 Mar 2016 12:11:50 +0100 wenzelm isabelle_process is superseded by "isabelle process" tool;
Thu, 25 Feb 2016 19:22:13 +0100 wenzelm slightly more robust re-initialization;
Thu, 25 Feb 2016 18:08:23 +0100 wenzelm within the Isabelle environment, main executables are always within PATH;
Thu, 25 Feb 2016 18:05:04 +0100 wenzelm avoid global state change;
Thu, 25 Feb 2016 17:49:04 +0100 wenzelm more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;
Wed, 17 Feb 2016 23:06:24 +0100 wenzelm SML/NJ is no longer supported;
Fri, 02 Oct 2015 23:22:49 +0200 wenzelm more explicit umask for important directories: e.g. relevant for Windows 10, where implicit g=rwx leads to odd failure of chmod -w for heap images;
Wed, 30 Sep 2015 21:32:44 +0200 wenzelm renamed jvmpath to platform_path;
Wed, 30 Sep 2015 21:05:14 +0200 wenzelm clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
Fri, 11 Sep 2015 14:53:05 +0200 wenzelm more robust init_components: test run of polyml executable on windows appears to disrupt stdin stream of cygwin;
Sat, 20 Jun 2015 16:08:47 +0200 wenzelm less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;
Mon, 27 Oct 2014 16:11:24 +0100 wenzelm clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
Thu, 09 Oct 2014 13:56:27 +0200 wenzelm prefer original TEMP from Windows, e.g. relevant for Isabelle distribution within read-only directory (due to its bundled Cygwin and /tmp inside of it);
Sun, 21 Sep 2014 20:22:12 +0200 wenzelm renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH;
Fri, 27 Jun 2014 11:30:42 +0200 wenzelm sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH;
Mon, 07 Apr 2014 13:11:31 +0200 wenzelm provide old-style ISABELLE_SCALA_SCRIPT for uniformity;
Sun, 06 Apr 2014 17:09:32 +0200 wenzelm shell functions for all Isabelle executables;
Sun, 06 Apr 2014 16:59:41 +0200 wenzelm renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
Sat, 28 Sep 2013 15:36:14 +0200 wenzelm remove remains from WinRun4J;
Sat, 28 Sep 2013 13:50:38 +0200 wenzelm simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
Thu, 26 Sep 2013 12:56:59 +0200 wenzelm prefer GNU tar for Isabelle to avoid odd extended header keywords produced by Apple's bsdtar (see also 8f6046b7f850);
Thu, 12 Sep 2013 14:32:02 +0200 wenzelm reverse orientation of ISABELLE_CLASSPATH;
Thu, 12 Sep 2013 13:23:54 +0200 wenzelm maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
Tue, 25 Jun 2013 11:41:16 +0200 wenzelm more formal isabelle_admin_build;
Thu, 13 Sep 2012 16:09:35 +0200 wenzelm more liberal init_components: base dir may get created later when resolving missing components;
Wed, 29 Aug 2012 20:16:22 +0200 wenzelm provide polyml-5.4.1 as regular component;
Fri, 17 Aug 2012 12:14:58 +0200 wenzelm direct support for component forests via init_components;
Fri, 17 Aug 2012 11:42:05 +0200 wenzelm allow to provide external ISABELLE_IDENTIFIER for repository clone -- potentially relevant for isatest and mira;
Tue, 14 Aug 2012 10:44:03 +0200 wenzelm always retain doc-src (as regular component);
Wed, 08 Aug 2012 10:56:37 +0200 wenzelm configure Admin as component, with its own lib/Tools;
Fri, 27 Jul 2012 15:37:28 +0200 wenzelm include doc-src as component, and thus its sessions defined in ROOT;
Wed, 25 Jul 2012 10:55:02 +0200 wenzelm more standard session setup for WWW_Find;
Mon, 23 Jul 2012 21:01:16 +0200 wenzelm provide explicit ISABELLE_PLATFORM32 as well;
Mon, 23 Jul 2012 16:13:26 +0200 wenzelm clarified init_component: always liberal;
Thu, 24 May 2012 23:13:06 +0200 wenzelm simplified Cygwin root: warm start via env, cold start via property, no registry magic;
Wed, 25 Apr 2012 15:13:03 +0200 wenzelm enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user;
Sun, 22 Apr 2012 14:30:18 +0200 wenzelm USER_HOME settings variable points to cross-platform user home directory;
Tue, 17 Apr 2012 23:24:46 +0200 wenzelm retain ISABELLE_HOME_WINDOWS which is useful for jEdit to fold file names symbolically, but without DOS expansion that causes problems with Cygwin/Posix roundtrip (cf. 5a7903ba2dac);
Mon, 16 Apr 2012 15:09:47 +0200 wenzelm more precise handling of java failure, due to missing ISABELLE_JDK_HOME;
Sat, 14 Apr 2012 14:36:36 +0200 wenzelm more robust invocation via ISABELLE_JDK_HOME and SCALA_HOME;
Sat, 14 Apr 2012 12:36:11 +0200 wenzelm more robust treatment of ISABELLE_HOME on windows: eliminate spaces and funny unicode characters in directory name via DOS~1 notation;
Sun, 01 Apr 2012 22:02:14 +0200 wenzelm less brutal return from function, to allow caller to report error;
Mon, 26 Mar 2012 16:25:08 +0200 wenzelm more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
Thu, 01 Mar 2012 14:42:05 +0100 wenzelm more tolerant cygpath invocation, allow empty CLASSPATH;
Tue, 27 Sep 2011 00:03:11 +0200 wenzelm tuned message, which is displayed after termination of Isabelle.app on Mac OS;
Thu, 23 Jun 2011 14:48:32 +0200 wenzelm ensure export of initial CLASSPATH;
Sun, 13 Feb 2011 17:45:21 +0100 wenzelm 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;
Sun, 13 Feb 2011 17:29:44 +0100 wenzelm eliminated somewhat obsolete warning -- former "$HOME/Isabelle" vs. "$HOME/isabelle" no longer exist;
Sun, 13 Feb 2011 17:19:43 +0100 wenzelm tuned;
Fri, 21 Jan 2011 22:04:12 +0100 wenzelm JVM/Windows: more robust treatment of unicode in file names;
Wed, 19 Jan 2011 21:01:37 +0100 wenzelm clasrified classpath: add in front in accordance to librarypath (cf. b7cd80330a16), for slightly more robustness;
Wed, 19 Jan 2011 21:00:16 +0100 wenzelm added librarypath: shared library convenience in bash, keeping LD_LIBRARY_PATH and DYLD_LIBRARY_PATH separate;
Tue, 11 Jan 2011 19:55:34 +0100 wenzelm isabelle version -i;
Tue, 16 Nov 2010 21:54:52 +0100 wenzelm init_component: require absolute path (when invoked by user scripts);
Tue, 16 Nov 2010 20:30:25 +0100 wenzelm paranoia export of CLASSPATH, just in case the initial status via allexport is lost due to other scripts;
Sat, 17 Apr 2010 22:58:29 +0200 wenzelm added ISABELLE_PLATFORM and ISABELLE_PLATFORM64 -- NB: ML and JVM may have a different idea;
Sat, 17 Apr 2010 21:01:55 +0200 wenzelm THIS_CYGWIN;
Mon, 04 Jan 2010 22:35:32 +0100 wenzelm 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;
Mon, 04 Jan 2010 22:16:48 +0100 wenzelm discontinued old ISABELLE and ISATOOL environment settings;
Mon, 04 Jan 2010 21:49:47 +0100 wenzelm shell functions "isabelle-process" and "isabelle" refer to the proper executables statically -- for interactive use or sloppy bash scripts;
Wed, 09 Dec 2009 16:28:49 +0100 wenzelm more robust Cygwin.config: actually check Wow6432Node, prefer explicit CYGWIN_ROOT in any case;
Sun, 08 Nov 2009 13:44:16 +0100 wenzelm init_component: slightly more robust read (raw input, succeed on non-terminated last line);
Wed, 28 Oct 2009 23:21:45 +0100 wenzelm proper nested quotes;
Wed, 28 Oct 2009 22:57:32 +0100 wenzelm components: ensure that the last line is read, even if it lacks EOL;
Wed, 28 Oct 2009 20:49:09 +0100 wenzelm slightly more robust error message;
Sat, 22 Aug 2009 17:08:06 +0200 wenzelm function splitarray: splightly more abstract version that accomodates older bashes;
Tue, 04 Aug 2009 13:35:33 +0200 wenzelm more uniform handling of ISABELLE_HOME_USER component;
Tue, 04 Aug 2009 01:01:23 +0200 wenzelm basic support for components (which imitate the usual Isabelle directory layout);
Tue, 09 Jun 2009 01:32:57 +0200 wenzelm simplified IsabelleSystem.platform_path for cygwin;
Sat, 20 Dec 2008 11:55:34 +0100 wenzelm removed Ids;
Sat, 04 Oct 2008 17:40:56 +0200 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
Sat, 04 Oct 2008 16:05:08 +0200 wenzelm ISABELLE_PROCESS replaces ISABELLE and ISABELLE_TOOL replaces ISATOOL -- old bindings stay for a while (legacy feature);
Thu, 28 Aug 2008 22:26:21 +0200 wenzelm provide HOME_JVM=HOME to prevent implicit cygpath mangling;
Thu, 21 Aug 2008 17:42:59 +0200 wenzelm proper ISABELLE_ROOT_JVM on Cygwin;
Thu, 21 Aug 2008 13:05:28 +0200 wenzelm added ISABELLE_ROOT_JVM;
Sat, 16 Aug 2008 13:31:57 +0200 wenzelm refined scala/java wrappers via isatool;
Fri, 15 Aug 2008 23:31:37 +0200 wenzelm added ISABELLE_HOME_JVM;
Fri, 15 Aug 2008 23:10:36 +0200 wenzelm proper jvmpath for cygwin;
Fri, 15 Aug 2008 22:59:02 +0200 wenzelm refined JVM path wrappers: Isabelle environment holds Unix version of CLASSPATH, javawrapper/scalawrapper convert it back;
Sat, 15 Dec 2007 21:17:48 +0100 wenzelm added javapath (for cygwin);
Thu, 15 Nov 2007 11:49:02 +0100 wenzelm ISABELLE_IDENTIFIER is filled in automatically, not taken from the *long* form of isatool version!
Thu, 23 Nov 2006 18:49:55 +0100 wenzelm added ISABELLE_IDENTIFIER;
Wed, 22 Nov 2006 19:53:24 +0100 wenzelm add ISABELLE_VERSION to ML_IDENTIFIER, unless this is repository or build;
Mon, 06 Jun 2005 09:28:28 +0200 kleing fixed
Sun, 05 Jun 2005 11:31:16 +0200 wenzelm observe ISABELLE_IGNORE_USER_SETTINGS;
Tue, 17 May 2005 10:19:43 +0200 wenzelm export ISABELLE_HOME, do not normalize;
Tue, 26 Apr 2005 19:51:28 +0200 wenzelm tuned;
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Thu, 27 Dec 2001 16:44:29 +0100 wenzelm warn for spaces in ISABELLE_HOME;
Sat, 08 Sep 2001 20:03:22 +0200 wenzelm tuned;
Fri, 01 Sep 2000 17:54:58 +0200 wenzelm GPLed;
Thu, 24 Aug 2000 00:53:53 +0200 wenzelm choosefrom: support easy settings;
Sat, 01 Jul 2000 19:49:48 +0200 wenzelm added ISABELLE_SITE_SETTINGS_PRESENT;
less more (0) -120 tip