--- a/src/Pure/build-jars Sat Oct 18 22:50:35 2014 +0200
+++ b/src/Pure/build-jars Sun Oct 19 11:20:03 2014 +0200
@@ -83,7 +83,6 @@
Thy/present.scala
Thy/thy_header.scala
Thy/thy_info.scala
- Thy/thy_structure.scala
Thy/thy_syntax.scala
Tools/bibtex.scala
Tools/build.scala