--- a/src/Pure/build-jars Mon Jul 04 13:43:10 2011 +0200
+++ b/src/Pure/build-jars Mon Jul 04 16:27:11 2011 +0200
@@ -50,6 +50,8 @@
Thy/completion.scala
Thy/html.scala
Thy/thy_header.scala
+ Thy/thy_info.scala
+ Thy/thy_load.scala
Thy/thy_syntax.scala
library.scala
package.scala