--- a/src/Pure/build-jars Wed May 21 10:13:12 2014 +0200
+++ b/src/Pure/build-jars Wed May 21 12:03:46 2014 +0200
@@ -97,6 +97,17 @@
package.scala
term.scala
term_xml.scala
+ "../Tools/Graphview/src/graph_panel.scala"
+ "../Tools/Graphview/src/graphview.scala"
+ "../Tools/Graphview/src/layout_pendulum.scala"
+ "../Tools/Graphview/src/main_panel.scala"
+ "../Tools/Graphview/src/model.scala"
+ "../Tools/Graphview/src/mutator_dialog.scala"
+ "../Tools/Graphview/src/mutator_event.scala"
+ "../Tools/Graphview/src/mutator.scala"
+ "../Tools/Graphview/src/popups.scala"
+ "../Tools/Graphview/src/shapes.scala"
+ "../Tools/Graphview/src/visualizer.scala"
)