changeset 59240 | e411afcfaa29 |
parent 59236 | 346aada8eb53 |
child 59241 | 541b95e94dc7 |
59239:d20cdab3bfeb | 59240:e411afcfaa29 |
---|---|
1 /* Title: Tools/Graphview/shapes.scala |
1 /* Title: Tools/Graphview/shapes.scala |
2 Author: Markus Kaiser, TU Muenchen |
2 Author: Markus Kaiser, TU Muenchen |
3 Author: Makarius |
|
3 |
4 |
4 Drawable shapes. |
5 Drawable shapes. |
5 */ |
6 */ |
6 |
7 |
7 package isabelle.graphview |
8 package isabelle.graphview |