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 |