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
|