--- a/src/Pure/build-jars Sun Nov 12 16:56:39 2017 +0100
+++ b/src/Pure/build-jars Sun Nov 12 19:42:22 2017 +0100
@@ -128,7 +128,6 @@
Thy/html.scala
Thy/present.scala
Thy/sessions.scala
- Thy/thy_document_model.scala
Thy/thy_header.scala
Thy/thy_resources.scala
Thy/thy_syntax.scala