src/Pure/Tools/ml_statistics.scala
2014-08-08 wenzelm 2014-08-08 improved monitor panel;
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2013-08-25 wenzelm 2013-08-25 discontinued parallel_subproofs_saturation and related internal counters (superseded by parallel_subproofs_threshold and timing information); simplified Goal.future_enabled;
2013-08-07 wenzelm 2013-08-07 tuned;
2013-04-04 wenzelm 2013-04-04 separate module "GUI", to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications; tuned signature;
2013-03-15 wenzelm 2013-03-15 simplified time_CPU and time_GC; derive relative speed from time (considered as step function);
2013-02-22 wenzelm 2013-02-22 updated headers;
2013-01-18 wenzelm 2013-01-18 use inlined session name as title for charts; tuned signature;
2013-01-18 wenzelm 2013-01-18 tuned signature;