src/Pure/System/session.scala

--- a/src/Pure/System/session.scala	Fri Aug 26 15:56:30 2011 +0200
+++ b/src/Pure/System/session.scala	Fri Aug 26 16:06:58 2011 +0200
@@ -282,7 +282,7 @@
 
       val assignment = global_state().the_assignment(previous).check_finished
       global_state.change(_.define_version(version, assignment))
-      prover.get.edit_version(previous.id, version.id, doc_edits)
+      prover.get.update(previous.id, version.id, doc_edits)
     }
     //}}}