src/Pure/build-jars
changeset 43651 511df47bcadc
parent 43600 4ac04bf9ff89
child 43660 bfc0bb115fa1
     1.1 --- a/src/Pure/build-jars	Mon Jul 04 13:43:10 2011 +0200
     1.2 +++ b/src/Pure/build-jars	Mon Jul 04 16:27:11 2011 +0200
     1.3 @@ -50,6 +50,8 @@
     1.4    Thy/completion.scala
     1.5    Thy/html.scala
     1.6    Thy/thy_header.scala
     1.7 +  Thy/thy_info.scala
     1.8 +  Thy/thy_load.scala
     1.9    Thy/thy_syntax.scala
    1.10    library.scala
    1.11    package.scala