src/Pure/General/time.scala
2016-10-05 wenzelm 2016-10-05 more date and time operations from Java 8;
2016-08-14 wenzelm 2016-08-14 clarified options and arguments; tuned;
2016-08-13 wenzelm 2016-08-13 gnuplot presentation similar to former isatest-statistics;
2016-08-13 wenzelm 2016-08-13 statistics from session build output;
2016-03-09 wenzelm 2016-03-09 print timing like lib/scripts/timestop.bash;
2015-11-08 wenzelm 2015-11-08 added option timeout_scale;
2015-10-31 wenzelm 2015-10-31 global start time as reference point;
2014-08-12 wenzelm 2014-08-12 tuned;
2014-04-24 wenzelm 2014-04-24 tuned signature, in accordance to ML version;
2014-04-01 wenzelm 2014-04-01 simplified using "value class";
2013-08-29 wenzelm 2013-08-29 option to insert unique completion immediately into buffer;
2013-03-30 wenzelm 2013-03-30 more operations on Time, Timing;
2013-03-26 wenzelm 2013-03-26 dockable window for timing information;
2012-11-30 wenzelm 2012-11-30 tuned import;
2012-05-24 wenzelm 2012-05-24 less warning in scala-2.10.0-M3;
2012-03-03 wenzelm 2012-03-03 relevant timing as in ML; more PIDE modules;
2012-02-27 wenzelm 2012-02-27 prefer final ADTs -- prevent ooddities;
2011-11-29 wenzelm 2011-11-29 clarified Time vs. Timing;