wenzelm [Wed, 09 Mar 2016 14:54:51 +0100] rev 62569
bash process with builtin timing;
wenzelm [Wed, 09 Mar 2016 14:24:16 +0100] rev 62568
elapsed time in milliseconds (cf. Time.now in Poly/ML);
wenzelm [Wed, 09 Mar 2016 13:33:21 +0100] rev 62567
support for timing of the managed process;
wenzelm [Wed, 09 Mar 2016 13:12:51 +0100] rev 62566
tuned;
wenzelm [Tue, 08 Mar 2016 21:08:50 +0100] rev 62565
proper support for RAW_ML_SYSTEM;
wenzelm [Tue, 08 Mar 2016 20:33:34 +0100] rev 62564
tuned signature;
wenzelm [Tue, 08 Mar 2016 20:24:41 +0100] rev 62563
separate Isabelle_Process.init_options after Options.load_defaults, notably for "isabelle console";
wenzelm [Tue, 08 Mar 2016 20:02:46 +0100] rev 62562
back to external line editor, due to problems of JLine with multithreading of in vs. out;
wenzelm [Tue, 08 Mar 2016 19:29:56 +0100] rev 62561
ignore execeptions that usually occur due to shutdown;
wenzelm [Tue, 08 Mar 2016 18:38:29 +0100] rev 62560
clarified initial ML;