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