| Wed, 31 Jan 2024 12:43:06 +0100 |
wenzelm |
more robust check of ISABELLE_PLATFORM_FAMILY within settings environment, to support its reunification with Isabelle/Scala (see also a33a6e541cbb, f3a356c64193);
|
file |
diff |
annotate
|
| Sat, 25 Nov 2023 16:49:48 +0100 |
wenzelm |
removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
|
file |
diff |
annotate
|
| Fri, 01 Sep 2023 21:01:56 +0200 |
wenzelm |
more robust $TMPDIR on windows, e.g. for repository snapshot: do not depend on $TEMP_WINDOWS provided by official distribution;a
|
file |
diff |
annotate
|
| Mon, 28 Aug 2023 13:00:24 +0200 |
wenzelm |
more robust: "hostname" command might be absent, notably on Arch Linux (and other systemd-based distributions);
|
file |
diff |
annotate
|
| Sun, 26 Feb 2023 13:06:19 +0100 |
wenzelm |
proper settings for hostname: allow to adjust it in user space;
|
file |
diff |
annotate
|
| Thu, 20 Oct 2022 14:59:39 +0200 |
wenzelm |
more robust reset of CLASSPATH: unset variable means "." in certain situations, e.g. scalac;
|
file |
diff |
annotate
|
| Mon, 17 Oct 2022 20:18:05 +0200 |
wenzelm |
avoid spurious error messages, e.g. when scala is missing;
|
file |
diff |
annotate
|
| Tue, 05 Jul 2022 13:12:04 +0200 |
wenzelm |
switch to Scala 3;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2022 10:55:32 +0200 |
wenzelm |
clarified invocation of isabelle.setup.Setup: -classpath allows multiple jars, as required for scala3;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 22:09:45 +0200 |
wenzelm |
more robust: component might be absent;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 19:51:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 15 Jul 2021 17:33:06 +0200 |
wenzelm |
more robust: avoid duplicate classpath entries;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 22:58:17 +0200 |
wenzelm |
further clarification of Isabelle distribution identification -- avoid odd patching of sources;
|
file |
diff |
annotate
|
| Wed, 31 Mar 2021 18:12:46 +0200 |
wenzelm |
clarified ISABELLE_ID: distribution vs. hg archive vs. hg repos;
|
file |
diff |
annotate
|
| Sun, 13 Dec 2020 13:29:04 +0100 |
wenzelm |
updated "macOS" terminology: current Big Sur is already version 11;
|
file |
diff |
annotate
|
| Mon, 17 Aug 2020 13:16:42 +0200 |
wenzelm |
more systematic support for special directories;
|
file |
diff |
annotate
|
| Mon, 17 Aug 2020 12:35:03 +0200 |
wenzelm |
proper init of cumulative settings;
|
file |
diff |
annotate
|
| Mon, 23 Dec 2019 22:35:54 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 23 Dec 2019 22:24:28 +0100 |
wenzelm |
updated platform situation: 32bit variants are marginal or absent;
|
file |
diff |
annotate
|
| Wed, 20 Mar 2019 21:57:02 +0100 |
wenzelm |
more robust reference to ghc exe (with multi-platform support);
|
file |
diff |
annotate
|
| Wed, 20 Mar 2019 20:15:30 +0100 |
wenzelm |
access OCaml tools and libraries via ISABELLE_OCAMLFIND;
|
file |
diff |
annotate
|
| 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
|
file |
diff |
annotate
|
| Mon, 10 Dec 2018 23:03:20 +0100 |
wenzelm |
more formal Haskell project setup, with dependencies on packages from "stackage";
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Mon, 05 Nov 2018 20:53:16 +0100 |
wenzelm |
more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing);
|
file |
diff |
annotate
|
| Wed, 17 Oct 2018 22:36:51 +0200 |
wenzelm |
more portable;
|
file |
diff |
annotate
|
| Wed, 17 Oct 2018 22:21:01 +0200 |
wenzelm |
proper path;
|
file |
diff |
annotate
|
| Wed, 17 Oct 2018 21:53:38 +0200 |
wenzelm |
avoid strict evaluation of "isabelle_stack path --programs";
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Wed, 17 Oct 2018 21:38:07 +0200 |
wenzelm |
support for GHC via command-line tools;
|
file |
diff |
annotate
|
| Mon, 08 Oct 2018 15:42:43 +0200 |
wenzelm |
support for OCaml via command-line tools;
|
file |
diff |
annotate
|
| Sat, 19 May 2018 15:45:45 +0200 |
wenzelm |
clarified store directories;
|
file |
diff |
annotate
|
| Fri, 20 Apr 2018 11:34:12 +0200 |
wenzelm |
more robust, notably for jdk-10.0.1 where jre is absent;
|
file |
diff |
annotate
|
| Mon, 27 Nov 2017 15:10:50 +0100 |
wenzelm |
updated to official release of polyml-5.7.1;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 12:11:50 +0100 |
wenzelm |
isabelle_process is superseded by "isabelle process" tool;
|
file |
diff |
annotate
|
| Thu, 25 Feb 2016 19:22:13 +0100 |
wenzelm |
slightly more robust re-initialization;
|
file |
diff |
annotate
|
| Thu, 25 Feb 2016 18:08:23 +0100 |
wenzelm |
within the Isabelle environment, main executables are always within PATH;
|
file |
diff |
annotate
|
| Thu, 25 Feb 2016 18:05:04 +0100 |
wenzelm |
avoid global state change;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 23:06:24 +0100 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Wed, 30 Sep 2015 21:32:44 +0200 |
wenzelm |
renamed jvmpath to platform_path;
|
file |
diff |
annotate
|
| Wed, 30 Sep 2015 21:05:14 +0200 |
wenzelm |
clarified ISABELLE_ROOT (platform path) vs. ISABELLE_HOME (standard path);
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Mon, 27 Oct 2014 16:11:24 +0100 |
wenzelm |
clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Sun, 21 Sep 2014 20:22:12 +0200 |
wenzelm |
renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Mon, 07 Apr 2014 13:11:31 +0200 |
wenzelm |
provide old-style ISABELLE_SCALA_SCRIPT for uniformity;
|
file |
diff |
annotate
|
| Sun, 06 Apr 2014 17:09:32 +0200 |
wenzelm |
shell functions for all Isabelle executables;
|
file |
diff |
annotate
|
| Sun, 06 Apr 2014 16:59:41 +0200 |
wenzelm |
renamed "isabelle-process" to "isabelle_process", with shell function to avoid dynamic path lookups;
|
file |
diff |
annotate
|
| Sat, 28 Sep 2013 15:36:14 +0200 |
wenzelm |
remove remains from WinRun4J;
|
file |
diff |
annotate
|
| Sat, 28 Sep 2013 13:50:38 +0200 |
wenzelm |
simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Thu, 12 Sep 2013 14:32:02 +0200 |
wenzelm |
reverse orientation of ISABELLE_CLASSPATH;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Tue, 25 Jun 2013 11:41:16 +0200 |
wenzelm |
more formal isabelle_admin_build;
|
file |
diff |
annotate
|
| Thu, 13 Sep 2012 16:09:35 +0200 |
wenzelm |
more liberal init_components: base dir may get created later when resolving missing components;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2012 20:16:22 +0200 |
wenzelm |
provide polyml-5.4.1 as regular component;
|
file |
diff |
annotate
|