--- a/src/Pure/build-jars Tue Oct 31 15:36:50 2017 +0100
+++ b/src/Pure/build-jars Tue Oct 31 15:55:50 2017 +0100
@@ -129,7 +129,6 @@
Thy/present.scala
Thy/sessions.scala
Thy/thy_header.scala
- Thy/thy_info.scala
Thy/thy_syntax.scala
Tools/bibtex.scala
Tools/build.scala