src/Pure/General/timing.ML
2013-04-09 ago just one timing protocol function, with 3 implementations: TTY/PG, PIDE/document, build;
2013-04-03 ago additional timing status for implicitly forked terminal proofs -- proper accounting for interactive Timing dockable etc.;
2013-02-20 ago more tight representation of command timing;
2013-02-19 ago support for prescient timing information within command transactions;
2013-01-09 ago standardized treatment of timing properties;
2013-01-08 ago include timing properties in log;
2011-08-24 ago ignore irrelevant timings;
2011-05-15 ago only show relevant timing;
2011-03-21 ago tuned;
2011-03-20 ago pure Timing.timing, without any exception handling;
2011-03-20 ago structure Timing: covers former start_timing/end_timing and Output.timeit etc;
2010-11-06 ago somewhat more uniform timing in ML vs. Scala;