src/Pure/build-jars
changeset 57032 cf570f3ecdc1
parent 56905 fb38a767a78b
child 57034 6e10bf974693
     1.1 --- a/src/Pure/build-jars	Wed May 21 10:13:12 2014 +0200
     1.2 +++ b/src/Pure/build-jars	Wed May 21 12:03:46 2014 +0200
     1.3 @@ -97,6 +97,17 @@
     1.4    package.scala
     1.5    term.scala
     1.6    term_xml.scala
     1.7 +  "../Tools/Graphview/src/graph_panel.scala"
     1.8 +  "../Tools/Graphview/src/graphview.scala"
     1.9 +  "../Tools/Graphview/src/layout_pendulum.scala"
    1.10 +  "../Tools/Graphview/src/main_panel.scala"
    1.11 +  "../Tools/Graphview/src/model.scala"
    1.12 +  "../Tools/Graphview/src/mutator_dialog.scala"
    1.13 +  "../Tools/Graphview/src/mutator_event.scala"
    1.14 +  "../Tools/Graphview/src/mutator.scala"
    1.15 +  "../Tools/Graphview/src/popups.scala"
    1.16 +  "../Tools/Graphview/src/shapes.scala"
    1.17 +  "../Tools/Graphview/src/visualizer.scala"
    1.18  )
    1.19  
    1.20