changeset 44528 | 511df47bcadc |
parent 44473 | 4ac04bf9ff89 |
child 44531 | 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