src/Pure/System/session.scala

           edit foreach { case (c1, c2) => c1 foreach id_command; c2 foreach id_command }
       }
 
       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)
     }
     //}}}
 
 
     /* prover results */