etc/settings
2023-02-06 wenzelm proper symbolic dependencies, e.g. for Demo_FoilTeX;
2022-09-17 wenzelm support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external mlton executable;
2022-09-15 wenzelm back to plain /tmp (despite 1df53737c59b): relevant for ssh on macOS, to avoid error "unix_listener: path too long for Unix domain socket";
2022-07-05 wenzelm switch to Scala 3;
2022-06-10 wenzelm more robust, notably for crontab;
2022-04-09 wenzelm avoid pattern-match warnings, notably in scala3;
2021-10-02 wenzelm updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7;
2021-07-25 wenzelm back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2);
2021-07-25 wenzelm update to Haskell stack-2.7.3 and stackage lts-17.15;
2021-07-15 wenzelm build.props for isabelle.jar, including isabelle.jedit;
2021-07-09 wenzelm clarified javac options;
2021-05-19 wenzelm more direct use of latex tools: avoid diversion into "isabelle latex -o pdf" and its confusion of ISABELLE_PDFLATEX vs. ISABELLE_LUALATEX;
2021-05-18 wenzelm clarified command-line options;
2021-05-17 wenzelm option document_build refers to build engine in Isabelle/Scala;
2021-05-16 wenzelm enforce syntax of Scala 3;
2021-04-28 wenzelm more recent OCaml and GHC stack: better support for Apple Silicon;
2021-03-04 wenzelm clarified compiler options: show relevant warnings;
2021-02-20 wenzelm clarified compiler options;
2021-02-03 wenzelm clarified links to external files, e.g. .pdf within .thy source document;
2021-01-24 wenzelm follow stackage update;
2021-01-16 wenzelm updated to scala-2.13.4;
2021-01-06 wenzelm try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";
2020-12-16 wenzelm updated to zipperposition-2.0 and ocaml-4.07, which is required for it;
2020-12-06 wenzelm PIDE support for session ROOTS;
2020-11-30 wenzelm updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
2020-11-06 wenzelm back to https://isabelle.sketis.net/components (more reliable);
2020-11-02 wenzelm back to normal;
2020-11-01 wenzelm use alternative server: https://isabelle.in.tum.de/components is down;
2020-09-27 wenzelm ISABELLE_PDFLATEX is now lualatex;
2020-09-26 wenzelm discontinued obsolete DVI document format and related settings/tools;
2020-08-22 wenzelm clarified signature;
2020-08-17 wenzelm allow user-defined server commands via isabelle_scala_service;
2020-08-17 wenzelm more systematic support for special directories;
2020-08-15 wenzelm clarified names;
2020-08-15 wenzelm provide protocol handlers via isabelle_system_service;
2020-06-08 wenzelm clarified sessions: "Notable Examples in Isabelle/HOL";
2020-05-23 wenzelm more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment;
2020-04-23 wenzelm back to more modest (but uniform) Java stack, see 97fc4f657bda;
2020-04-23 wenzelm more generous Java memory, also hoping to prevent spurious java.lang.StackOverflowError in isabelle_cronjob;
2020-04-08 wenzelm another isabelle_scala_service;
2020-04-08 wenzelm more general support for isabelle_scala_service;
2020-01-16 wenzelm updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
2019-05-03 wenzelm update to lts-12.26 (stable branch);
2019-04-07 wenzelm uniform JVM heap options for Isabelle/Scala tools and scalac (again);
2019-04-05 wenzelm clarified settings: allow for more Java versions;
2019-03-21 wenzelm proper ISABELLE_OCAML_VERSION;
2019-03-21 wenzelm prefer central root: just one copy of this bulky material;
2019-02-15 wenzelm clarified name;
2018-12-28 wenzelm more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs";
2018-12-27 Lars Hupel update LTS Haskell version
2018-12-09 wenzelm clarified settings and defaults;
2018-12-06 wenzelm proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a);
2018-11-22 wenzelm support for fontforge and its scripting language;
2018-11-17 wenzelm more Java 11 illegal-access warnings;
2018-11-11 wenzelm clarified display name;
2018-11-10 wenzelm support for user-defined Isabelle/Scala command-line tools;
2018-11-07 wenzelm more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
2018-10-17 wenzelm support for GHC via command-line tools;
2018-10-17 wenzelm isabelle_stack as portable shell function;
2018-10-08 wenzelm support for OCaml via command-line tools;
less more (0) -300 -100 -60 tip