src/Pure/build-jars
changeset 67172 97d199699a6b
parent 67058 03d4954c68bb
child 67274 4588f714a78a
     1.1 --- a/src/Pure/build-jars	Fri Dec 08 17:57:29 2017 +0100
     1.2 +++ b/src/Pure/build-jars	Fri Dec 08 23:43:58 2017 +0100
     1.3 @@ -126,6 +126,7 @@
     1.4    System/progress.scala
     1.5    System/system_channel.scala
     1.6    Thy/html.scala
     1.7 +  Thy/latex.scala
     1.8    Thy/present.scala
     1.9    Thy/sessions.scala
    1.10    Thy/thy_header.scala