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/src/model.scala
changeset 50463 1d7e506a3a77
parent 49854 c541bbad7024
child 50467 4b0e69dc9db8 
--- a/src/Tools/Graphview/src/model.scala	Mon Dec 10 16:38:20 2012 +0100
+++ b/src/Tools/Graphview/src/model.scala	Mon Dec 10 17:05:51 2012 +0100
@@ -64,7 +64,6 @@
       Node_Expression(".*", false, false, false),
       Node_List(Nil, false, false, false),
       Edge_Endpoints("", ""),
-      Edge_Transitive(),
       Add_Node_Expression(""),
       Add_Transitive_Closure(true, true)
     ))
isabelle