2016-04-03 wenzelm [Sun, 03 Apr 2016 22:54:31 +0200] rev 62835
prefer internal tool -- assuming that ISABELLE_TMP_PREFIX is created properly by Isabelle_System.isabelle_tmp_prefix;
lib/Tools/process src/Pure/System/isabelle_tool.scala src/Pure/Tools/ml_process.scala

2016-04-03 wenzelm [Sun, 03 Apr 2016 22:45:40 +0200] rev 62834
prefer internal tool;
lib/Tools/check_sources src/Pure/System/isabelle_tool.scala src/Pure/Tools/check_sources.scala

2016-04-03 wenzelm [Sun, 03 Apr 2016 22:42:15 +0200] rev 62833
prefer internal tool;
lib/Tools/build src/Pure/System/isabelle_tool.scala src/Pure/Tools/build.scala

2016-04-03 wenzelm [Sun, 03 Apr 2016 22:36:11 +0200] rev 62832
prefer internal tool;
lib/Tools/options src/Pure/System/isabelle_tool.scala src/Pure/System/options.scala

2016-04-03 wenzelm [Sun, 03 Apr 2016 22:31:16 +0200] rev 62831
prefer internal tool;
lib/Tools/doc src/Pure/System/isabelle_tool.scala src/Pure/Tools/doc.scala

2016-04-03 wenzelm [Sun, 03 Apr 2016 22:15:40 +0200] rev 62830
support for internal tools;
src/Pure/System/isabelle_tool.scala

2016-04-03 wenzelm [Sun, 03 Apr 2016 21:32:57 +0200] rev 62829
clarified Isabelle tool wrapper: bash, Scala, no perl, no ML;
bin/isabelle lib/scripts/tools.pl src/Doc/System/Environment.thy src/Doc/antiquote_setup.ML src/Pure/General/file.scala src/Pure/System/isabelle_system.ML src/Pure/System/isabelle_tool.scala src/Pure/Thy/present.ML src/Pure/build-jars

2016-04-03 wenzelm [Sun, 03 Apr 2016 19:47:29 +0200] rev 62828
clarified usage;
lib/Tools/getenv

2016-04-03 traytel [Sun, 03 Apr 2016 10:25:17 +0200] rev 62827
tuned names
src/HOL/Tools/BNF/bnf_fp_util.ML src/HOL/Tools/BNF/bnf_gfp.ML src/HOL/Tools/BNF/bnf_lfp.ML

2016-04-02 wenzelm [Sat, 02 Apr 2016 23:29:05 +0200] rev 62826
prefer infix operations;
src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML src/HOL/Tools/Nitpick/kodkod.ML src/HOL/Tools/Nitpick/nitpick.ML src/HOL/Tools/Sledgehammer/async_manager_legacy.ML src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML src/HOL/Tools/Sledgehammer/sledgehammer_isar_compress.ML src/HOL/Tools/Sledgehammer/sledgehammer_isar_minimize.ML src/HOL/Tools/Sledgehammer/sledgehammer_isar_preplay.ML src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML src/HOL/Tools/Sledgehammer/sledgehammer_prover_atp.ML src/HOL/Tools/Sledgehammer/sledgehammer_prover_smt.ML src/HOL/Tools/Sledgehammer/sledgehammer_util.ML src/Pure/Concurrent/event_timer.ML src/Pure/Concurrent/future.ML src/Pure/Concurrent/mailbox.ML src/Pure/Concurrent/multithreading.ML src/Pure/Concurrent/task_queue.ML src/Pure/Concurrent/timeout.ML src/Pure/General/timing.ML src/Pure/Isar/toplevel.ML src/Pure/PIDE/command.ML src/Pure/PIDE/document.ML src/Pure/Tools/build.ML