--- a/src/Pure/build-jars Wed Aug 29 18:53:29 2018 +0200
+++ b/src/Pure/build-jars Wed Aug 29 18:53:58 2018 +0200
@@ -135,6 +135,7 @@
Thy/latex.scala
Thy/present.scala
Thy/sessions.scala
+ Thy/thy_element.scala
Thy/thy_header.scala
Thy/thy_resources.scala
Thy/thy_syntax.scala