src/Pure/Concurrent/event_timer.scala
2016-10-05 wenzelm 2016-10-05 more date and time operations from Java 8;
2014-04-28 wenzelm 2014-04-28 added Scala version of module Event_Timer;