src/Pure/Tools/ml_process.scala
Wed, 16 Mar 2016 22:16:58 +0100 wenzelm pro-forma selection for improved error message;
Wed, 16 Mar 2016 22:06:05 +0100 wenzelm eliminated without magic name;
Wed, 16 Mar 2016 21:11:15 +0100 wenzelm isabelle process -d;
Wed, 16 Mar 2016 20:50:38 +0100 wenzelm tuned signature;
Wed, 16 Mar 2016 15:08:22 +0100 wenzelm support for Poly/ML heap hierarchy, which saves a lot of disk space;
Wed, 16 Mar 2016 11:45:25 +0100 wenzelm less physical "logic" argument, with option -l like "isabelle console" etc.;
Tue, 15 Mar 2016 23:59:39 +0100 wenzelm find heaps uniformly via Sessions.Store;
Tue, 15 Mar 2016 14:30:18 +0100 wenzelm clarified prompt: "ML" usually means Isabelle/ML;
Sun, 13 Mar 2016 13:04:50 +0100 wenzelm prefer Scala over bash function;
Sun, 13 Mar 2016 12:37:01 +0100 wenzelm more uniform signature for various process invocations;
Sat, 12 Mar 2016 22:51:37 +0100 wenzelm tuned;
Sat, 12 Mar 2016 22:02:36 +0100 wenzelm clarified cleanup;
Sat, 12 Mar 2016 21:46:31 +0100 wenzelm more thorough cleanup -- in Scala;
Sat, 12 Mar 2016 21:23:58 +0100 wenzelm create ISABELLE_TMP in Scala (despite odd/obsolete chmod in d84b4d39bce1);
Sat, 12 Mar 2016 21:03:45 +0100 wenzelm obsolete (cf. 63a5782c764e);
Thu, 10 Mar 2016 12:11:50 +0100 wenzelm isabelle_process is superseded by "isabelle process" tool;
Thu, 10 Mar 2016 10:07:23 +0100 wenzelm clarified modules;
less more (0) tip