diff -r 1a9e2a2bf251 -r 57d58c3cf16b src/Pure/build-jars
--- 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