--- a/src/Pure/build-jars Sat Nov 06 16:53:07 2010 +0100
+++ b/src/Pure/build-jars Sat Nov 06 17:55:32 2010 +0100
@@ -26,6 +26,7 @@
Concurrent/simple_thread.scala
Concurrent/volatile.scala
General/exn.scala
+ General/timing.scala
General/linear_set.scala
General/markup.scala
General/position.scala