src/Pure/System/isabelle_tool.scala
2016-04-03 wenzelm 2016-04-03 prefer internal tool -- assuming that ISABELLE_TMP_PREFIX is created properly by Isabelle_System.isabelle_tmp_prefix;
2016-04-03 wenzelm 2016-04-03 prefer internal tool;
2016-04-03 wenzelm 2016-04-03 prefer internal tool;
2016-04-03 wenzelm 2016-04-03 prefer internal tool;
2016-04-03 wenzelm 2016-04-03 prefer internal tool;
2016-04-03 wenzelm 2016-04-03 support for internal tools;
2016-04-03 wenzelm 2016-04-03 clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;