Wed, 09 Mar 2016 16:53:14 +0100 tuned;
wenzelm [Wed, 09 Mar 2016 16:53:14 +0100] rev 62572
tuned;
Wed, 09 Mar 2016 16:42:30 +0100 print timing like lib/scripts/timestop.bash;
wenzelm [Wed, 09 Mar 2016 16:42:30 +0100] rev 62571
print timing like lib/scripts/timestop.bash;
Wed, 09 Mar 2016 16:40:39 +0100 prefer explicit locale;
wenzelm [Wed, 09 Mar 2016 16:40:39 +0100] rev 62570
prefer explicit locale;
Wed, 09 Mar 2016 14:54:51 +0100 bash process with builtin timing;
wenzelm [Wed, 09 Mar 2016 14:54:51 +0100] rev 62569
bash process with builtin timing;
Wed, 09 Mar 2016 14:24:16 +0100 elapsed time in milliseconds (cf. Time.now in Poly/ML);
wenzelm [Wed, 09 Mar 2016 14:24:16 +0100] rev 62568
elapsed time in milliseconds (cf. Time.now in Poly/ML);
Wed, 09 Mar 2016 13:33:21 +0100 support for timing of the managed process;
wenzelm [Wed, 09 Mar 2016 13:33:21 +0100] rev 62567
support for timing of the managed process;
Wed, 09 Mar 2016 13:12:51 +0100 tuned;
wenzelm [Wed, 09 Mar 2016 13:12:51 +0100] rev 62566
tuned;
Tue, 08 Mar 2016 21:08:50 +0100 proper support for RAW_ML_SYSTEM;
wenzelm [Tue, 08 Mar 2016 21:08:50 +0100] rev 62565
proper support for RAW_ML_SYSTEM;
Tue, 08 Mar 2016 20:33:34 +0100 tuned signature;
wenzelm [Tue, 08 Mar 2016 20:33:34 +0100] rev 62564
tuned signature;
Tue, 08 Mar 2016 20:24:41 +0100 separate Isabelle_Process.init_options after Options.load_defaults, notably for "isabelle console";
wenzelm [Tue, 08 Mar 2016 20:24:41 +0100] rev 62563
separate Isabelle_Process.init_options after Options.load_defaults, notably for "isabelle console";
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip