# 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 */