src/Pure/build-jars
changeset 67274 4588f714a78a
parent 67172 97d199699a6b
child 67433 e0c0c1f0e3e7
     1.1 --- a/src/Pure/build-jars	Sun Dec 24 12:48:43 2017 +0100
     1.2 +++ b/src/Pure/build-jars	Sun Dec 24 13:07:05 2017 +0100
     1.3 @@ -125,6 +125,7 @@
     1.4    System/process_result.scala
     1.5    System/progress.scala
     1.6    System/system_channel.scala
     1.7 +  Thy/bibtex.scala
     1.8    Thy/html.scala
     1.9    Thy/latex.scala
    1.10    Thy/present.scala
    1.11 @@ -132,7 +133,6 @@
    1.12    Thy/thy_header.scala
    1.13    Thy/thy_resources.scala
    1.14    Thy/thy_syntax.scala
    1.15 -  Tools/bibtex.scala
    1.16    Tools/build.scala
    1.17    Tools/build_docker.scala
    1.18    Tools/check_keywords.scala