src/Pure/Thy/thy_syntax.scala

             consolidate_spans(resources, syntax, doc_blobs, reparse_limit,
               name, visible, node.commands))
     }
   }
 
-  def text_edits(
+  def parse_edits(
       resources: Resources,
       reparse_limit: Int,
       previous: Document.Version,
       doc_blobs: Document.Blobs,
-      edits: List[Document.Edit_Text])
-    : (Boolean, List[Document.Edit_Command], Document.Version) =
+      edits: List[Document.Edit_Text]): Session.Change =
   {
     val ((syntax, syntax_changed), reparse0, nodes0, doc_edits0) =
       header_edits(resources.base_syntax, previous, edits)
 
     if (edits.isEmpty)
-      (false, Nil, Document.Version.make(syntax, previous.nodes))
+      Session.Change(previous, doc_blobs, false, Nil, Document.Version.make(syntax, previous.nodes))
     else {
       val reparse =
         (reparse0 /: nodes0.entries)({
           case (reparse, (name, node)) =>
             if (node.load_commands.exists(_.blobs_changed(doc_blobs)))

           doc_edits += (name -> Document.Node.Edits(diff_commands(commands, node2.commands)))
 
           nodes += (name -> node2)
       }
 
-      (syntax_changed, doc_edits.toList, Document.Version.make(syntax, nodes))
+      Session.Change(
+        previous,
+        doc_blobs,
+        syntax_changed,
+        doc_edits.toList,
+        Document.Version.make(syntax, nodes))
     }
   }
 }