src/Pure/build-jars
changeset 68171 13162bb3a677
parent 68144 7b995cd6d5d4
child 68265 f0899dad4877
     1.1 --- a/src/Pure/build-jars	Sun May 13 16:51:50 2018 +0200
     1.2 +++ b/src/Pure/build-jars	Sun May 13 20:04:59 2018 +0200
     1.3 @@ -128,6 +128,7 @@
     1.4    System/tty_loop.scala
     1.5    Thy/bibtex.scala
     1.6    Thy/export.scala
     1.7 +  Thy/export_theory.scala
     1.8    Thy/html.scala
     1.9    Thy/latex.scala
    1.10    Thy/present.scala