src/Pure/build-jars
changeset 67016 57d58c3cf16b
parent 66959 015d47486fc8
child 67041 f8b0367046bd
     1.1 --- a/src/Pure/build-jars	Mon Nov 06 17:24:09 2017 +0100
     1.2 +++ b/src/Pure/build-jars	Mon Nov 06 17:21:32 2017 +0100
     1.3 @@ -128,6 +128,7 @@
     1.4    Thy/html.scala
     1.5    Thy/present.scala
     1.6    Thy/sessions.scala
     1.7 +  Thy/thy_document_model.scala
     1.8    Thy/thy_header.scala
     1.9    Thy/thy_syntax.scala
    1.10    Tools/bibtex.scala