lib/Tools/console
Sun, 18 Jul 2021 12:48:31 +0200 wenzelm more robust "isabelle build_scala" as separate tool;
Fri, 16 Jul 2021 13:18:54 +0200 wenzelm more direct isabelle_scala_build: always enabled, no "Admin" requirement;
Mon, 13 Jan 2020 11:19:24 +0100 wenzelm clarified output channel;
Mon, 23 Oct 2017 19:30:39 +0200 wenzelm updated to jdk-8u152, which is for x86_64 only;
Sun, 03 Apr 2016 23:56:52 +0200 wenzelm renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
Thu, 10 Mar 2016 17:30:04 +0100 wenzelm prefer plain "isabelle" from PATH within Isabelle settings environment;
Thu, 10 Mar 2016 12:11:50 +0100 wenzelm isabelle_process is superseded by "isabelle process" tool;
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;
Tue, 08 Mar 2016 18:15:16 +0100 wenzelm isabelle console is based on Isabelle/Scala;
Thu, 03 Mar 2016 22:16:52 +0100 wenzelm isabelle console -r" helps to bootstrap Isabelle/Pure;
Sun, 03 Jan 2016 21:31:57 +0100 wenzelm proper treatment of RAW bootstrap session;
Tue, 29 Dec 2015 15:05:08 +0100 wenzelm isabelle console: print mode "ASCII";
Tue, 08 Sep 2015 17:34:46 +0200 wenzelm clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);
Fri, 25 Jul 2014 17:13:30 +0200 wenzelm proper mkdir;
Sun, 20 Jul 2014 17:54:01 +0200 wenzelm provide explicit options file -- avoid multiple Scala/JVM invocation;
Sun, 20 Jul 2014 17:21:14 +0200 wenzelm check and build Isabelle session for console tool -- avoid multiple Scala/JVM invocation;
Mon, 30 Jun 2014 09:43:44 +0200 wenzelm "isabelle tty" is superseded by "isabelle console";
less more (0) tip