History log of /seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/model.scala
Revision Date Author Comments
# a838e0a4 04-Jan-2015 wenzelm <none@none>

clarified static full_graph vs. dynamic visible_graph;
tuned;
# 98ef9bd0 03-Jan-2015 wenzelm <none@none>

tuned signature;
# 331be8f5 03-Jan-2015 wenzelm <none@none>

more formal Graph_Display.Node (with ordering) and Graph_Display.Edge;
misc tuning;
tuned signature;
# a9c5fc80 02-Jan-2015 wenzelm <none@none>

tuned headers;
# 282ee19a 01-Jan-2015 wenzelm <none@none>

more dynamic visualizer -- re-use Isabelle/jEdit options;
clarified iTextField error: like Isabelle/jEdit search field;
tuned signature;
# 35ec6f3d 01-Jan-2015 wenzelm <none@none>

tuned signature;
# 0d3566c6 01-Jan-2015 wenzelm <none@none>

tuned whitespace;
# 9848944b 31-Dec-2014 wenzelm <none@none>

converse graph according to Graph_Display;
# bbe9df58 30-Dec-2014 wenzelm <none@none>

clarified source location;

--HG--
rename : src/Tools/Graphview/src/graph_panel.scala => src/Tools/Graphview/graph_panel.scala
rename : src/Tools/Graphview/src/layout_pendulum.scala => src/Tools/Graphview/layout_pendulum.scala
rename : src/Tools/Graphview/src/main_panel.scala => src/Tools/Graphview/main_panel.scala
rename : src/Tools/Graphview/src/model.scala => src/Tools/Graphview/model.scala
rename : src/Tools/Graphview/src/mutator.scala => src/Tools/Graphview/mutator.scala
rename : src/Tools/Graphview/src/mutator_dialog.scala => src/Tools/Graphview/mutator_dialog.scala
rename : src/Tools/Graphview/src/mutator_event.scala => src/Tools/Graphview/mutator_event.scala
rename : src/Tools/Graphview/src/popups.scala => src/Tools/Graphview/popups.scala
rename : src/Tools/Graphview/src/shapes.scala => src/Tools/Graphview/shapes.scala
rename : src/Tools/Graphview/src/visualizer.scala => src/Tools/Graphview/visualizer.scala