src/Pure/System/isabelle_tool.scala
2016-10-24 wenzelm 2016-10-24 proper Admin tool;
2016-10-19 wenzelm 2016-10-19 proper isabelle tool in Scala;
2016-10-18 wenzelm 2016-10-18 clarified modules;
2016-10-12 wenzelm 2016-10-12 explicit indication of Admin tools;
2016-10-11 wenzelm 2016-10-11 added isabelle remote_dmg tool;
2016-08-13 wenzelm 2016-08-13 gnuplot presentation similar to former isatest-statistics;
2016-07-17 Lars Hupel 2016-07-17 more precise error information for dynamic Scala tools
2016-06-03 wenzelm 2016-06-03 support for .scala tools;
2016-04-12 wenzelm 2016-04-12 simplified -- avoid odd mutable state, which potentially causes problems with module initialization;
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 -- 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;