# HG changeset patch
# User wenzelm
# Date 1398421638 -7200
# Node ID 061f83259922c093f4eda6f9149b72c5d0e8c819
# Parent  3438dfba58fe5269b5fe9478184e98a97a2a46ef
tuned comments;

diff -r 3438dfba58fe -r 061f83259922 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Fri Apr 25 11:09:59 2014 +0200
+++ b/src/Pure/System/isabelle_process.scala	Fri Apr 25 12:27:18 2014 +0200
@@ -140,7 +140,7 @@
 
 
 
-  /** stream actors **/
+  /** process streams **/
 
   /* command input */