Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned signature;
authorwenzelm
Tue, 29 May 2018 20:03:24 +0200
changeset 68322 100f018096c8
parent 68321 daca5f2a0c90
child 68323 bf7336731981
tuned signature;
src/Pure/PIDE/document.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/PIDE/document.scala	Tue May 29 20:00:10 2018 +0200
+++ b/src/Pure/PIDE/document.scala	Tue May 29 20:03:24 2018 +0200
@@ -531,7 +531,6 @@
 
     def node_name: Node.Name
     def node: Node
-    def node_consolidated: Boolean
 
     def commands_loading: List[Command]
     def commands_loading_ranges(pred: Node.Name => Boolean): List[Text.Range]
@@ -971,8 +970,6 @@
         val node_name: Node.Name = name
         val node: Node = version.nodes(name)
 
-        def node_consolidated: Boolean = state.node_consolidated(version, node_name)
-
         val commands_loading: List[Command] =
           if (node_name.is_theory) Nil
           else version.nodes.commands_loading(node_name)
isabelle