1.1 --- a/src/Pure/PIDE/document.scala	Sun Aug 15 14:18:52 2010 +0200
     1.2 +++ b/src/Pure/PIDE/document.scala	Sun Aug 15 18:41:23 2010 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4      Author:     Makarius
     1.5  
     1.6  Document as collection of named nodes, each consisting of an editable
     1.7 -list of commands.
     1.8 +list of commands, associated with asynchronous execution process.
     1.9  */
    1.10  
    1.11  package isabelle
    1.12 @@ -124,7 +124,7 @@
    1.13  
    1.14  
    1.15  
    1.16 -  /** global state -- accumulated prover results **/
    1.17 +  /** global state -- document structure and execution process **/
    1.18  
    1.19    object State
    1.20    {