src/Pure/build-jars
changeset 68092 888d35a19866
parent 67848 dd83610333de
child 68144 7b995cd6d5d4
     1.1 --- a/src/Pure/build-jars	Sun May 06 23:01:45 2018 +0200
     1.2 +++ b/src/Pure/build-jars	Sun May 06 23:03:08 2018 +0200
     1.3 @@ -129,6 +129,7 @@
     1.4    System/system_channel.scala
     1.5    System/tty_loop.scala
     1.6    Thy/bibtex.scala
     1.7 +  Thy/export.scala
     1.8    Thy/html.scala
     1.9    Thy/latex.scala
    1.10    Thy/present.scala