--- a/src/Pure/build-jars Mon Nov 06 17:24:09 2017 +0100
+++ b/src/Pure/build-jars Mon Nov 06 17:21:32 2017 +0100
@@ -128,6 +128,7 @@
Thy/html.scala
Thy/present.scala
Thy/sessions.scala
+ Thy/thy_document_model.scala
Thy/thy_header.scala
Thy/thy_syntax.scala
Tools/bibtex.scala