diff -r 086bb1083552 -r 4fdb1009a370 src/Pure/PIDE/document.ML
--- a/src/Pure/PIDE/document.ML	Thu Aug 25 17:38:12 2011 +0200
+++ b/src/Pure/PIDE/document.ML	Thu Aug 25 19:12:58 2011 +0200
@@ -2,7 +2,7 @@
     Author:     Makarius
 
 Document as collection of named nodes, each consisting of an editable
-list of commands, associated with asynchronous execution process.
+list of commands, with asynchronous read/eval/print processes.
 *)
 
 signature DOCUMENT =
@@ -265,7 +265,7 @@
       val tr =
         Future.fork_pri 2 (fn () =>
           Position.setmp_thread_data (Position.id_only id_string)
-            (fn () => Outer_Syntax.prepare_command (Position.id id_string) text) ());
+            (fn () => Outer_Syntax.read_command (Position.id id_string) text) ());
       val commands' =
         Inttab.update_new (id, tr) commands
           handle Inttab.DUP dup => err_dup "command" dup;