changeset 59240 | e411afcfaa29 |
parent 59221 | f779f83ef4ec |
child 59442 | 9f45b95d3543 |
59239:d20cdab3bfeb | 59240:e411afcfaa29 |
---|---|
1 /* Title: Tools/Graphview/mutator_event.scala |
1 /* Title: Tools/Graphview/mutator_event.scala |
2 Author: Markus Kaiser, TU Muenchen |
2 Author: Markus Kaiser, TU Muenchen |
3 Author: Makarius |
|
3 |
4 |
4 Events for dialog synchronization. |
5 Events for dialog synchronization. |
5 */ |
6 */ |
6 |
7 |
7 package isabelle.graphview |
8 package isabelle.graphview |