src/Pure/System/session.scala

--- a/src/Pure/System/session.scala	Sat Aug 14 11:52:24 2010 +0200
+++ b/src/Pure/System/session.scala	Sat Aug 14 12:01:50 2010 +0200
@@ -343,7 +343,7 @@
               isabelle.Future.fork {
                 val old_doc = prev.join
                 val former_assignment = current_state().the_assignment(old_doc).join  // FIXME async!?
-                Document.text_edits(Session.this, old_doc, edits)
+                Thy_Syntax.text_edits(Session.this, old_doc, edits)
               }
             val new_change = new Document.Change(prev, edits, result)
             history ::= new_change