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