src/Pure/build-jars
changeset 45027 f459e93a038e
parent 44698 0385292321a0
child 45666 d83797ef0d2d
     1.1 --- a/src/Pure/build-jars	Wed Sep 21 17:50:25 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Wed Sep 21 20:35:50 2011 +0200
     1.3 @@ -49,6 +49,7 @@
     1.4    System/session_manager.scala
     1.5    System/standard_system.scala
     1.6    System/swing_thread.scala
     1.7 +  System/system_channel.scala
     1.8    Thy/completion.scala
     1.9    Thy/html.scala
    1.10    Thy/thy_header.scala