| 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
|
| 2018-10-08 |
wenzelm |
isabelle_opam as portable shell function;
|
file |
diff |
annotate
|
| 2018-10-06 |
wenzelm |
support for jdk-11;
|
file |
diff |
annotate
|
| 2018-06-27 |
wenzelm |
clarified settings -- avoid hard-wired directories;
|
file |
diff |
annotate
|
| 2018-06-05 |
wenzelm |
full benchmarks, including all conditional theories;
|
file |
diff |
annotate
|
| 2018-05-19 |
wenzelm |
clarified store directories;
|
file |
diff |
annotate
|
| 2018-03-03 |
wenzelm |
more Java heap, e.g. relevant for hg.graph on Isabelle repository;
|
file |
diff |
annotate
|
| 2018-02-10 |
wenzelm |
more accessible src/Pure/ROOT.ML;
|
file |
diff |
annotate
|
| 2017-12-10 |
wenzelm |
more explicit latex errors;
|
file |
diff |
annotate
|
| 2017-10-23 |
wenzelm |
updated to jdk-8u152, which is for x86_64 only;
|
file |
diff |
annotate
|
| 2017-04-21 |
wenzelm |
more uniform isabelle_scala;
|
file |
diff |
annotate
|
| 2017-01-15 |
wenzelm |
updated to jvm-1.8;
|
file |
diff |
annotate
|
| 2017-01-15 |
wenzelm |
clarified settings;
|
file |
diff |
annotate
|
| 2016-09-14 |
wenzelm |
discontinued global etc/abbrevs;
|
file |
diff |
annotate
|
| 2016-08-13 |
wenzelm |
gnuplot presentation similar to former isatest-statistics;
|
file |
diff |
annotate
|
| 2016-07-14 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
| 2016-04-03 |
wenzelm |
renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
|
file |
diff |
annotate
|
| 2016-03-08 |
wenzelm |
back to external line editor, due to problems of JLine with multithreading of in vs. out;
|
file |
diff |
annotate
|
| 2016-03-08 |
wenzelm |
isabelle console is based on Isabelle/Scala;
|
file |
diff |
annotate
|
| 2016-02-17 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
| 2016-01-23 |
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
|
| 2016-01-02 |
wenzelm |
eliminated somewhat pointless and obscure options;
|
file |
diff |
annotate
|
| 2015-12-30 |
wenzelm |
tuned java options;
|
file |
diff |
annotate
|
| 2015-12-29 |
wenzelm |
support additional abbrevs;
|
file |
diff |
annotate
|
| 2015-11-22 |
wenzelm |
some GC options that potentially improve reactivity;
|
file |
diff |
annotate
|
| 2015-10-21 |
wenzelm |
Isabelle fonts via external component;
|
file |
diff |
annotate
|
| 2015-10-07 |
wenzelm |
back to old-fashioned GC, which appears to work better with interactive applications;
|
file |
diff |
annotate
|
| 2015-09-10 |
wenzelm |
less ambitious options, to accomodate 4GB systems;
|
file |
diff |
annotate
|
| 2015-09-08 |
wenzelm |
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);
|
file |
diff |
annotate
|
| 2015-09-08 |
wenzelm |
clarified ISABELLE_BUILD_JAVA_OPTIONS;
|
file |
diff |
annotate
|
| 2015-08-26 |
wenzelm |
use fancy options of Java 8;
|
file |
diff |
annotate
|
| 2015-04-24 |
wenzelm |
more paranoia settings, e.g. relevant for Ubuntu 15.04;
|
file |
diff |
annotate
|
| 2015-02-23 |
wenzelm |
more uniform headless mode for all derivatives of "build" (amending df5dc24ca712);
|
file |
diff |
annotate
|
| 2014-12-11 |
wenzelm |
added Par_List in Scala, in accordance to ML version;
|
file |
diff |
annotate
|
| 2014-10-09 |
wenzelm |
prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
|
file |
diff |
annotate
|
| 2014-07-01 |
wenzelm |
more release notes;
|
file |
diff |
annotate
|