changeset 40672 | 2bb7ec08574a |
parent 39098 | ec75dc58688b |
child 41920 | 4563b26d96d2 |
child 43633 | caa4f1279154 |
1.1 --- a/src/Pure/build-jars Sat Nov 06 16:53:07 2010 +0100 1.2 +++ b/src/Pure/build-jars Sat Nov 06 17:55:32 2010 +0100 1.3 @@ -26,6 +26,7 @@ 1.4 Concurrent/simple_thread.scala 1.5 Concurrent/volatile.scala 1.6 General/exn.scala 1.7 + General/timing.scala 1.8 General/linear_set.scala 1.9 General/markup.scala 1.10 General/position.scala