src/Pure/build-jars
changeset 67054 9498b7522a99
parent 67041 f8b0367046bd
child 67058 03d4954c68bb
     1.1 --- a/src/Pure/build-jars	Sun Nov 12 12:55:10 2017 +0100
     1.2 +++ b/src/Pure/build-jars	Sun Nov 12 13:19:00 2017 +0100
     1.3 @@ -130,6 +130,7 @@
     1.4    Thy/sessions.scala
     1.5    Thy/thy_document_model.scala
     1.6    Thy/thy_header.scala
     1.7 +  Thy/thy_resources.scala
     1.8    Thy/thy_syntax.scala
     1.9    Tools/bibtex.scala
    1.10    Tools/build.scala