--- a/src/Pure/build-jars Mon Aug 11 20:30:01 2014 +0200
+++ b/src/Pure/build-jars Mon Aug 11 20:46:56 2014 +0200
@@ -83,6 +83,7 @@
Thy/present.scala
Thy/thy_header.scala
Thy/thy_info.scala
+ Thy/thy_structure.scala
Thy/thy_syntax.scala
Tools/build.scala
Tools/build_console.scala