History log of /seL4-l4v-master/l4v/isabelle/src/Pure/General/graph_display.scala
Revision Date Author Comments
# 0d415623 10-Oct-2017 wenzelm <none@none>

ignore isolated nodes by default;
# 994e11ef 09-Oct-2017 wenzelm <none@none>

operations for graph display;
# 79d70ddd 25-Jan-2015 wenzelm <none@none>

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

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

more uniform support for graph display in ML/Scala;