src/Pure/PIDE/isar_document.scala

--- a/src/Pure/PIDE/isar_document.scala	Fri Aug 26 15:56:30 2011 +0200
+++ b/src/Pure/PIDE/isar_document.scala	Fri Aug 26 16:06:58 2011 +0200
@@ -146,7 +146,7 @@
       YXML.string_of_body(ids))
   }
 
-  def edit_version(old_id: Document.Version_ID, new_id: Document.Version_ID,
+  def update(old_id: Document.Version_ID, new_id: Document.Version_ID,
     edits: List[Document.Edit_Command])
   {
     val edits_yxml =
@@ -163,7 +163,7 @@
             { case Document.Node.Perspective(a) => (a.commands.map(c => long_atom(c.id)), Nil) }))))
       YXML.string_of_body(encode(edits)) }
 
-    input("Isar_Document.edit_version", Document.ID(old_id), Document.ID(new_id), edits_yxml)
+    input("Isar_Document.update", Document.ID(old_id), Document.ID(new_id), edits_yxml)
   }