1.1 --- a/src/Pure/System/session.scala	Sat Jul 02 23:31:07 2011 +0200
     1.2 +++ b/src/Pure/System/session.scala	Sun Jul 03 15:10:17 2011 +0200
     1.3 @@ -261,7 +261,8 @@
     1.4  
     1.5          case Edit_Version(edits) if prover != null =>
     1.6            val previous = global_state.peek().history.tip.version
     1.7 -          val result = Future.fork { Thy_Syntax.text_edits(Session.this, previous.join, edits) }
     1.8 +          val syntax = current_syntax()
     1.9 +          val result = Future.fork { Thy_Syntax.text_edits(syntax, new_id _, previous.join, edits) }
    1.10            val change = global_state.change_yield(_.extend_history(previous, edits, result))
    1.11  
    1.12            val this_actor = self