src/Pure/build-jars
changeset 57900 fd03765b06c0
parent 57647 5c600dd17617
child 57905 c0c5652e796e
--- 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