changeset 59461 | 6eabc60641a6 |
parent 59460 | 3a357fef24e8 |
child 61176 | 9791f631c20d |
59460:3a357fef24e8 | 59461:6eabc60641a6 |
---|---|
1 /* Title: Tools/Graphview/graph_panel.scala |
1 /* Title: Tools/Graphview/graph_panel.scala |
2 Author: Markus Kaiser, TU Muenchen |
2 Author: Markus Kaiser, TU Muenchen |
3 Author: Makarius |
3 Author: Makarius |
4 |
4 |
5 Graphview Java2D drawing panel. |
5 GUI panel for graph layout. |
6 */ |
6 */ |
7 |
7 |
8 package isabelle.graphview |
8 package isabelle.graphview |
9 |
9 |
10 |
10 |