Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Graphview/model.scala
changeset 59246 32903b99c2ef
parent 59245 be4180f3c236
child 59259 399506ee38a5 
--- a/src/Tools/Graphview/model.scala	Sat Jan 03 20:22:27 2015 +0100
+++ b/src/Tools/Graphview/model.scala	Sat Jan 03 20:28:53 2015 +0100
@@ -40,7 +40,7 @@
       List(
         Mutator.Node_Expression(".*", false, false, false),
         Mutator.Node_List(Nil, false, false, false),
-        Mutator.Edge_Endpoints(Graph_Display.Node.dummy, Graph_Display.Node.dummy),
+        Mutator.Edge_Endpoints((Graph_Display.Node.dummy, Graph_Display.Node.dummy)),
         Mutator.Add_Node_Expression(""),
         Mutator.Add_Transitive_Closure(true, true)))
isabelle