lib/Tools/console
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";