unused;

clarified database layout;

more encode/decode operations;

discontinued unused / untested distinction of separate PIDE modules;

proper calculation;

more date and time operations from Java 8;

clarified options and arguments;
tuned;

gnuplot presentation similar to former isatest-statistics;

statistics from session build output;

print timing like lib/scripts/timestop.bash;

added option timeout_scale;

global start time as reference point;

tuned;

tuned signature, in accordance to ML version;

simplified using "value class";

option to insert unique completion immediately into buffer;

more operations on Time, Timing;

dockable window for timing information;

tuned import;

less warning in scala-2.10.0-M3;

relevant timing as in ML;
more PIDE modules;

prefer final ADTs -- prevent ooddities;

clarified Time vs. Timing;

--HG--
rename : src/Pure/General/timing.scala => src/Pure/General/time.scala