lib/scripts/getsettings
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;
less more (0) -100 -50 -30 tip