--- a/src/Pure/build-jars Wed Jan 28 08:29:08 2015 +0100
+++ b/src/Pure/build-jars Wed Jan 28 19:15:13 2015 +0100
@@ -106,6 +106,7 @@
term_xml.scala
"../Tools/Graphview/graph_file.scala"
"../Tools/Graphview/graph_panel.scala"
+ "../Tools/Graphview/graphview.scala"
"../Tools/Graphview/layout.scala"
"../Tools/Graphview/main_panel.scala"
"../Tools/Graphview/metrics.scala"
@@ -116,7 +117,6 @@
"../Tools/Graphview/popups.scala"
"../Tools/Graphview/shapes.scala"
"../Tools/Graphview/tree_panel.scala"
- "../Tools/Graphview/visualizer.scala"
)