tuned comments;
authorwenzelm
Fri Apr 25 12:27:18 2014 +0200 (2014-04-25)
changeset 56714061f83259922
parent 56713 3438dfba58fe
child 56715 52125652e82a
tuned comments;
src/Pure/System/isabelle_process.scala
     1.1 --- a/src/Pure/System/isabelle_process.scala	Fri Apr 25 11:09:59 2014 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Fri Apr 25 12:27:18 2014 +0200
     1.3 @@ -140,7 +140,7 @@
     1.4  
     1.5  
     1.6  
     1.7 -  /** stream actors **/
     1.8 +  /** process streams **/
     1.9  
    1.10    /* command input */
    1.11