--- a/src/Pure/build-jars Fri Nov 07 16:22:25 2014 +0100
+++ b/src/Pure/build-jars Fri Nov 07 16:36:55 2014 +0100
@@ -99,7 +99,6 @@
Tools/update_header.scala
Tools/update_semicolons.scala
library.scala
- pure_syn.scala
term.scala
term_xml.scala
"../Tools/Graphview/src/graph_panel.scala"