| 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
|