etc/settings
Sun, 25 Jul 2021 16:12:23 +0200 wenzelm back to stackage lts-17.10, to make this work on vmnipkow9 (Windows Server 2012 R2);
Sun, 25 Jul 2021 14:46:08 +0200 wenzelm update to Haskell stack-2.7.3 and stackage lts-17.15;
Thu, 15 Jul 2021 16:35:45 +0200 wenzelm build.props for isabelle.jar, including isabelle.jedit;
Fri, 09 Jul 2021 14:41:22 +0200 wenzelm clarified javac options;
Mon, 21 Jun 2021 17:54:37 +0200 Fabian Huch Reverted to 9db620f007fab45cad634020f69d17b155042c87 draft
Wed, 19 May 2021 11:54:58 +0200 wenzelm more direct use of latex tools: avoid diversion into "isabelle latex -o pdf" and its confusion of ISABELLE_PDFLATEX vs. ISABELLE_LUALATEX;
Tue, 18 May 2021 16:15:19 +0200 wenzelm clarified command-line options;
Mon, 17 May 2021 23:30:25 +0200 wenzelm option document_build refers to build engine in Isabelle/Scala;
Sun, 16 May 2021 23:22:03 +0200 wenzelm enforce syntax of Scala 3;
Wed, 28 Apr 2021 12:24:39 +0200 wenzelm more recent OCaml and GHC stack: better support for Apple Silicon;
Thu, 04 Mar 2021 22:02:44 +0100 wenzelm clarified compiler options: show relevant warnings;
Sat, 20 Feb 2021 20:23:30 +0100 wenzelm clarified compiler options;
Wed, 03 Feb 2021 20:18:34 +0100 wenzelm clarified links to external files, e.g. .pdf within .thy source document;
Sun, 24 Jan 2021 16:38:00 +0100 wenzelm follow stackage update;
Sat, 16 Jan 2021 22:52:43 +0100 wenzelm updated to scala-2.13.4;
Thu, 07 Jan 2021 00:04:13 +0100 wenzelm try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";
Wed, 16 Dec 2020 16:56:07 +0100 wenzelm updated to zipperposition-2.0 and ocaml-4.07, which is required for it;
Sun, 06 Dec 2020 16:27:37 +0100 wenzelm PIDE support for session ROOTS;
Mon, 30 Nov 2020 17:00:35 +0100 wenzelm updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
Fri, 06 Nov 2020 13:42:23 +0100 wenzelm back to https://isabelle.sketis.net/components (more reliable);
Mon, 02 Nov 2020 13:59:05 +0100 wenzelm back to normal;
Sun, 01 Nov 2020 18:24:10 +0100 wenzelm use alternative server: https://isabelle.in.tum.de/components is down;
Sun, 27 Sep 2020 17:02:59 +0200 wenzelm ISABELLE_PDFLATEX is now lualatex;
Sat, 26 Sep 2020 14:29:46 +0200 wenzelm discontinued obsolete DVI document format and related settings/tools;
Sat, 22 Aug 2020 20:32:44 +0200 wenzelm clarified signature;
Mon, 17 Aug 2020 16:26:58 +0200 wenzelm allow user-defined server commands via isabelle_scala_service;
Mon, 17 Aug 2020 13:16:42 +0200 wenzelm more systematic support for special directories;
Sat, 15 Aug 2020 13:45:25 +0200 wenzelm clarified names;
Sat, 15 Aug 2020 13:37:34 +0200 wenzelm provide protocol handlers via isabelle_system_service;
Mon, 08 Jun 2020 21:38:41 +0200 wenzelm clarified sessions: "Notable Examples in Isabelle/HOL";
Sat, 23 May 2020 21:43:30 +0200 wenzelm more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment;
Thu, 23 Apr 2020 13:23:04 +0200 wenzelm back to more modest (but uniform) Java stack, see 97fc4f657bda;
Thu, 23 Apr 2020 12:03:16 +0200 wenzelm more generous Java memory, also hoping to prevent spurious java.lang.StackOverflowError in isabelle_cronjob;
Wed, 08 Apr 2020 14:25:28 +0200 wenzelm another isabelle_scala_service;
Wed, 08 Apr 2020 13:14:05 +0200 wenzelm more general support for isabelle_scala_service;
Thu, 16 Jan 2020 15:34:55 +0100 wenzelm updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4;
Fri, 03 May 2019 11:47:01 +0200 wenzelm update to lts-12.26 (stable branch);
Sun, 07 Apr 2019 12:44:37 +0200 wenzelm uniform JVM heap options for Isabelle/Scala tools and scalac (again);
Fri, 05 Apr 2019 23:01:20 +0200 wenzelm clarified settings: allow for more Java versions;
Thu, 21 Mar 2019 14:54:25 +0100 wenzelm proper ISABELLE_OCAML_VERSION;
Thu, 21 Mar 2019 12:41:58 +0100 wenzelm prefer central root: just one copy of this bulky material;
Fri, 15 Feb 2019 12:34:29 +0100 wenzelm clarified name;
Fri, 28 Dec 2018 19:01:35 +0100 wenzelm more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs";
Thu, 27 Dec 2018 17:36:19 +0100 Lars Hupel update LTS Haskell version
Sun, 09 Dec 2018 12:09:54 +0100 wenzelm clarified settings and defaults;
Thu, 06 Dec 2018 14:51:09 +0100 wenzelm proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a);
Thu, 22 Nov 2018 17:34:37 +0100 wenzelm support for fontforge and its scripting language;
Sat, 17 Nov 2018 16:29:09 +0100 wenzelm more Java 11 illegal-access warnings;
Sun, 11 Nov 2018 12:13:24 +0100 wenzelm clarified display name;
Sat, 10 Nov 2018 14:08:02 +0100 wenzelm support for user-defined Isabelle/Scala command-line tools;
Wed, 07 Nov 2018 21:42:16 +0100 wenzelm more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;
Wed, 17 Oct 2018 21:38:07 +0200 wenzelm support for GHC via command-line tools;
Wed, 17 Oct 2018 20:06:19 +0200 wenzelm isabelle_stack as portable shell function;
Mon, 08 Oct 2018 15:42:43 +0200 wenzelm support for OCaml via command-line tools;
Mon, 08 Oct 2018 12:52:28 +0200 wenzelm isabelle_opam as portable shell function;
Sat, 06 Oct 2018 17:37:09 +0200 wenzelm support for jdk-11;
Wed, 27 Jun 2018 20:31:22 +0200 wenzelm clarified settings -- avoid hard-wired directories;
Tue, 05 Jun 2018 21:29:54 +0200 wenzelm full benchmarks, including all conditional theories;
Sat, 19 May 2018 15:45:45 +0200 wenzelm clarified store directories;
Sat, 03 Mar 2018 21:40:04 +0100 wenzelm more Java heap, e.g. relevant for hg.graph on Isabelle repository;
less more (0) -300 -100 -60 tip