src/Pure/build-jars
changeset 68713 fb44580680c4
parent 68308 119fc05f6b00
child 68758 a110e7e24e55
     1.1 --- a/src/Pure/build-jars	Thu Aug 02 22:24:16 2018 +0200
     1.2 +++ b/src/Pure/build-jars	Fri Aug 03 14:08:33 2018 +0200
     1.3 @@ -159,6 +159,7 @@
     1.4    Tools/update_then.scala
     1.5    Tools/update_theorems.scala
     1.6    library.scala
     1.7 +  pure_thy.scala
     1.8    term.scala
     1.9    term_xml.scala
    1.10    ../Tools/Graphview/graph_file.scala