--- 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"