src/Pure/PIDE/document.scala

--- a/src/Pure/PIDE/document.scala	Sun Aug 15 14:18:52 2010 +0200
+++ b/src/Pure/PIDE/document.scala	Sun Aug 15 18:41:23 2010 +0200
@@ -2,7 +2,7 @@
     Author:     Makarius
 
 Document as collection of named nodes, each consisting of an editable
-list of commands.
+list of commands, associated with asynchronous execution process.
 */
 
 package isabelle
@@ -124,7 +124,7 @@
 
 
 
-  /** global state -- accumulated prover results **/
+  /** global state -- document structure and execution process **/
 
   object State
   {