src/Pure/Tools/build_console.scala
2015-09-29 wenzelm 2015-09-29 clarified modules;
2015-06-19 wenzelm 2015-06-19 uniform system_mode for build test: avoid spurious output_dir/log that is not required later;
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;