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