src/Pure/General/time.scala
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;