changeset 59240 | e411afcfaa29 |
parent 59239 | d20cdab3bfeb |
child 59241 | 541b95e94dc7 |
59239:d20cdab3bfeb | 59240:e411afcfaa29 |
---|---|
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 |
4 |
4 Graphview Java2D drawing panel. |
5 Graphview Java2D drawing panel. |
5 */ |
6 */ |
6 |
7 |
7 package isabelle.graphview |
8 package isabelle.graphview |