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