| Fri, 24 Jan 2025 20:05:01 +0100 |
wenzelm |
discontinue old Java 17 LTS;
|
file |
diff |
annotate
|
| Tue, 14 Jan 2025 11:34:17 +0100 |
wenzelm |
update to ocaml-base-compiler.4.14.1, which coincides with ocaml on Ubuntu 24.04;
|
file |
diff |
annotate
|
| Mon, 01 Jul 2024 13:11:25 +0200 |
wenzelm |
more significant HOL/Examples;
|
file |
diff |
annotate
|
| Tue, 02 Apr 2024 19:10:22 +0200 |
wenzelm |
update to stack-2.15.5, stackage-lts-22.15;
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 20:39:06 +0100 |
wenzelm |
dynamic setup of Go component, similar to Dotnet;
|
file |
diff |
annotate
|
| Tue, 26 Mar 2024 12:07:52 +0100 |
wenzelm |
provide ISABELLE_DOTNET_VERSION via settings, following "isabelle ghc_setup";
|
file |
diff |
annotate
|
| Mon, 25 Mar 2024 20:22:05 +0100 |
wenzelm |
update to stack-2.15.3, stackage-lts-22.6, ghc-9.6.4;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2024 14:19:05 +0100 |
wenzelm |
update to mlton-20210117-2, which covers x86_64-linux, x86_64-darwin, arm64-darwin;
|
file |
diff |
annotate
|
| Wed, 28 Feb 2024 22:11:11 +0100 |
wenzelm |
updated to stack-2.15.1, lts-22.6, ghc-9.6.3;
|
file |
diff |
annotate
|
| 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, 11 Nov 2023 13:31:14 +0100 |
wenzelm |
support for global registry;
|
file |
diff |
annotate
|
| Fri, 10 Nov 2023 16:03:52 +0100 |
wenzelm |
clarified loading of symbols: permissive entries in $ISABELLE_SYMBOLS require explicit "?";
|
file |
diff |
annotate
|
| Sun, 15 Oct 2023 13:36:48 +0200 |
wenzelm |
updated to stack-2.13.1: include arm64-darwin, although it does not quite work yet (e.g. session "Haskell");
|
file |
diff |
annotate
|
| Sun, 03 Sep 2023 19:28:59 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Fri, 01 Sep 2023 21:04:14 +0200 |
wenzelm |
more robust $ISABELLE_TMP_PREFIX on windows: avoid location within Cygwin root, i.e. inside the program directory (see also ff92d6edff2c and 1df53737c59b);
|
file |
diff |
annotate
|
| Wed, 30 Aug 2023 21:03:30 +0200 |
wenzelm |
update to "scalac -source 3.3" (from 3.1);
|
file |
diff |
annotate
|
| Tue, 29 Aug 2023 13:05:32 +0200 |
wenzelm |
discontinue old Java 11 LTS;
|
file |
diff |
annotate
|
| Mon, 06 Feb 2023 11:05:35 +0100 |
wenzelm |
proper symbolic dependencies, e.g. for Demo_FoilTeX;
|
file |
diff |
annotate
|
| Sat, 17 Sep 2022 14:45:41 +0200 |
wenzelm |
support for ISABELLE_MLTON_OPTIONS, notably for Ubuntu 22.04 with external mlton executable;
|
file |
diff |
annotate
|
| Thu, 15 Sep 2022 12:26:51 +0200 |
wenzelm |
back to plain /tmp (despite 1df53737c59b): relevant for ssh on macOS, to avoid error "unix_listener: path too long for Unix domain socket";
|
file |
diff |
annotate
|
| Tue, 05 Jul 2022 13:12:04 +0200 |
wenzelm |
switch to Scala 3;
|
file |
diff |
annotate
|
| Fri, 10 Jun 2022 14:36:05 +0200 |
wenzelm |
more robust, notably for crontab;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2022 12:02:38 +0200 |
wenzelm |
avoid pattern-match warnings, notably in scala3;
|
file |
diff |
annotate
|
| Sat, 02 Oct 2021 20:00:02 +0200 |
wenzelm |
updated to Haskell Stach lts-18.12 with GHC ghc-8.10.7;
|
file |
diff |
annotate
|
| 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
|
| Sun, 10 Dec 2017 14:29:14 +0100 |
wenzelm |
more explicit latex errors;
|
file |
diff |
annotate
|
| Mon, 23 Oct 2017 19:30:39 +0200 |
wenzelm |
updated to jdk-8u152, which is for x86_64 only;
|
file |
diff |
annotate
|
| Fri, 21 Apr 2017 13:51:43 +0200 |
wenzelm |
more uniform isabelle_scala;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2017 16:42:37 +0100 |
wenzelm |
updated to jvm-1.8;
|
file |
diff |
annotate
|
| Sun, 15 Jan 2017 15:51:33 +0100 |
wenzelm |
clarified settings;
|
file |
diff |
annotate
|
| Wed, 14 Sep 2016 14:37:38 +0200 |
wenzelm |
discontinued global etc/abbrevs;
|
file |
diff |
annotate
|
| Sat, 13 Aug 2016 23:45:29 +0200 |
wenzelm |
gnuplot presentation similar to former isatest-statistics;
|
file |
diff |
annotate
|
| Thu, 14 Jul 2016 12:21:12 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
| Sun, 03 Apr 2016 23:56:52 +0200 |
wenzelm |
renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
|
file |
diff |
annotate
|
| Tue, 08 Mar 2016 20:02:46 +0100 |
wenzelm |
back to external line editor, due to problems of JLine with multithreading of in vs. out;
|
file |
diff |
annotate
|
| Tue, 08 Mar 2016 18:15:16 +0100 |
wenzelm |
isabelle console is based on Isabelle/Scala;
|
file |
diff |
annotate
|
| Wed, 17 Feb 2016 23:06:24 +0100 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
| Sat, 23 Jan 2016 23:50:54 +0100 |
wenzelm |
back to elementary options used in Isabelle2015 for jdk-7 -- none of the intermediate experiments for jdk-8 improved reactivity on particular dual-CPU system, but the problem seems to be absent on common single-CPU systems;
|
file |
diff |
annotate
|
| Sat, 02 Jan 2016 20:08:51 +0100 |
wenzelm |
eliminated somewhat pointless and obscure options;
|
file |
diff |
annotate
|
| Wed, 30 Dec 2015 11:32:56 +0100 |
wenzelm |
tuned java options;
|
file |
diff |
annotate
|
| Tue, 29 Dec 2015 17:36:18 +0100 |
wenzelm |
support additional abbrevs;
|
file |
diff |
annotate
|
| Sun, 22 Nov 2015 23:13:02 +0100 |
wenzelm |
some GC options that potentially improve reactivity;
|
file |
diff |
annotate
|
| Wed, 21 Oct 2015 18:00:12 +0200 |
wenzelm |
Isabelle fonts via external component;
|
file |
diff |
annotate
|
| Wed, 07 Oct 2015 13:53:44 +0200 |
wenzelm |
back to old-fashioned GC, which appears to work better with interactive applications;
|
file |
diff |
annotate
|
| Thu, 10 Sep 2015 11:47:14 +0200 |
wenzelm |
less ambitious options, to accomodate 4GB systems;
|
file |
diff |
annotate
|
| Tue, 08 Sep 2015 17:34:46 +0200 |
wenzelm |
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);
|
file |
diff |
annotate
|
| Tue, 08 Sep 2015 11:44:15 +0200 |
wenzelm |
clarified ISABELLE_BUILD_JAVA_OPTIONS;
|
file |
diff |
annotate
|
| Wed, 26 Aug 2015 14:59:26 +0200 |
wenzelm |
use fancy options of Java 8;
|
file |
diff |
annotate
|
| Fri, 24 Apr 2015 23:05:33 +0200 |
wenzelm |
more paranoia settings, e.g. relevant for Ubuntu 15.04;
|
file |
diff |
annotate
|
| Mon, 23 Feb 2015 15:04:12 +0100 |
wenzelm |
more uniform headless mode for all derivatives of "build" (amending df5dc24ca712);
|
file |
diff |
annotate
|
| Thu, 11 Dec 2014 23:31:30 +0100 |
wenzelm |
added Par_List in Scala, in accordance to ML version;
|
file |
diff |
annotate
|
| Thu, 09 Oct 2014 11:15:03 +0200 |
wenzelm |
prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
|
file |
diff |
annotate
|
| Tue, 01 Jul 2014 14:05:05 +0200 |
wenzelm |
more release notes;
|
file |
diff |
annotate
|
| Mon, 30 Jun 2014 10:10:32 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Mon, 30 Jun 2014 09:43:44 +0200 |
wenzelm |
"isabelle tty" is superseded by "isabelle console";
|
file |
diff |
annotate
|
| Wed, 23 Apr 2014 10:49:30 +0200 |
wenzelm |
tuned options for scalac;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:01:59 +0200 |
wenzelm |
updated to scala-2.11.0 with classpath provided by its etc/settings;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 22:27:29 +0200 |
wenzelm |
no need to copy jars, after regular use of classpath in 793a429c63e7;
|
file |
diff |
annotate
|
| Sat, 05 Apr 2014 19:07:05 +0200 |
wenzelm |
proper settings instead of hard-wired information;
|
file |
diff |
annotate
|
| Mon, 06 Jan 2014 19:42:52 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Mon, 06 Jan 2014 17:33:23 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|