diff -r 63c9c6ceb7a3 -r 3b2daa7bf9f4 src/Pure/build-jars
--- 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