lib/Tools/console
20 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
2016-04-03 wenzelm 2016-04-03 renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
2016-03-10 wenzelm 2016-03-10 prefer plain "isabelle" from PATH within Isabelle settings environment;
2016-03-10 wenzelm 2016-03-10 isabelle_process is superseded by "isabelle process" tool; tuned tool usage; misc updates and tuning of "system" manual;
2016-03-08 wenzelm 2016-03-08 back to external line editor, due to problems of JLine with multithreading of in vs. out;
2016-03-08 wenzelm 2016-03-08 isabelle console is based on Isabelle/Scala;
2016-03-03 wenzelm 2016-03-03 isabelle console -r" helps to bootstrap Isabelle/Pure;
2016-01-03 wenzelm 2016-01-03 proper treatment of RAW bootstrap session;
2015-12-29 wenzelm 2015-12-29 isabelle console: print mode "ASCII";
2015-09-08 wenzelm 2015-09-08 clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);
2014-07-25 wenzelm 2014-07-25 proper mkdir;
2014-07-20 wenzelm 2014-07-20 provide explicit options file -- avoid multiple Scala/JVM invocation;
2014-07-20 wenzelm 2014-07-20 check and build Isabelle session for console tool -- avoid multiple Scala/JVM invocation;
2014-06-30 wenzelm 2014-06-30 "isabelle tty" is superseded by "isabelle console";