2016-10-05 wenzelm [Wed, 05 Oct 2016 21:02:08 +0200] rev 64059
more flexibile formatting;
expose representation for free-form formatters;
src/Pure/General/date.scala

2016-10-05 wenzelm [Wed, 05 Oct 2016 20:13:32 +0200] rev 64058
proper calculation;
src/Pure/General/time.scala

2016-10-05 wenzelm [Wed, 05 Oct 2016 20:06:54 +0200] rev 64057
more operations;
tuned;
src/Pure/General/date.scala

2016-10-05 wenzelm [Wed, 05 Oct 2016 19:45:36 +0200] rev 64056
more date and time operations from Java 8;
src/Pure/Concurrent/event_timer.scala src/Pure/General/date.scala src/Pure/General/time.scala src/Pure/build-jars

2016-10-05 wenzelm [Wed, 05 Oct 2016 14:34:42 +0200] rev 64055
proper imports;
src/Pure/Tools/ci_profile.scala

2016-10-05 wenzelm [Wed, 05 Oct 2016 14:15:54 +0200] rev 64054
clarified modules;
src/Pure/Tools/build_log.scala src/Pure/Tools/build_stats.scala src/Pure/Tools/ci_api.scala

2016-10-05 wenzelm [Wed, 05 Oct 2016 13:56:19 +0200] rev 64053
more operations;
src/Pure/Tools/build_log.scala

2016-10-05 wenzelm [Wed, 05 Oct 2016 13:27:25 +0200] rev 64052
added multicore_base option;
src/Pure/Tools/build_history.scala

2016-10-05 wenzelm [Wed, 05 Oct 2016 12:36:56 +0200] rev 64051
allow multiple threads configurations;
src/Pure/Tools/build_history.scala

2016-10-05 wenzelm [Wed, 05 Oct 2016 12:09:20 +0200] rev 64050
tuned;
src/Pure/Tools/build_history.scala