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

2016-10-05 wenzelm [Wed, 05 Oct 2016 11:43:00 +0200] rev 64049
misc tuning and clarification;
src/Pure/System/progress.scala src/Pure/Tools/build_history.scala

2016-10-05 wenzelm [Wed, 05 Oct 2016 11:13:02 +0200] rev 64048
clean output dir for fresh rebuild;
clarified echo;
src/Pure/Tools/build_history.scala

2016-10-05 wenzelm [Wed, 05 Oct 2016 11:05:41 +0200] rev 64047
allow multiline script;
src/Pure/Tools/build_history.scala