src/Pure/build-jars
changeset 58918 8d36bc5eaed3
parent 58872 f0f623005324
child 58928 23d0ffd48006
--- a/src/Pure/build-jars	Wed Nov 05 22:39:49 2014 +0100
+++ b/src/Pure/build-jars	Thu Nov 06 11:44:41 2014 +0100
@@ -99,6 +99,7 @@
   Tools/update_header.scala
   Tools/update_semicolons.scala
   library.scala
+  pure_syn.scala
   term.scala
   term_xml.scala
   "../Tools/Graphview/src/graph_panel.scala"