--- a/src/Pure/build-jars Sun May 13 16:51:50 2018 +0200
+++ b/src/Pure/build-jars Sun May 13 20:04:59 2018 +0200
@@ -128,6 +128,7 @@
System/tty_loop.scala
Thy/bibtex.scala
Thy/export.scala
+ Thy/export_theory.scala
Thy/html.scala
Thy/latex.scala
Thy/present.scala