src/Pure/build-jars
changeset 61556 0d4ee4168e41
parent 61337 4645502c3c64
child 61925 ab52f183f020
     1.1 --- a/src/Pure/build-jars	Tue Nov 03 11:24:42 2015 +0100
     1.2 +++ b/src/Pure/build-jars	Tue Nov 03 13:54:34 2015 +0100
     1.3 @@ -16,7 +16,7 @@
     1.4    Concurrent/future.scala
     1.5    Concurrent/mailbox.scala
     1.6    Concurrent/par_list.scala
     1.7 -  Concurrent/simple_thread.scala
     1.8 +  Concurrent/standard_thread.scala
     1.9    Concurrent/synchronized.scala
    1.10    GUI/color_value.scala
    1.11    GUI/gui.scala