# HG changeset patch
# User wenzelm
# Date 1330793210 -3600
# Node ID 94259b352ed32a72a182a89eeaa95592f0acb5f9
# Parent  be21f050eda4d8cbc12dbca29e6dd925ba0141fa
tuned;

diff -r be21f050eda4 -r 94259b352ed3 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Sat Mar 03 17:30:14 2012 +0100
+++ b/src/Pure/System/isabelle_process.scala	Sat Mar 03 17:46:50 2012 +0100
@@ -182,8 +182,8 @@
       val (command_stream, message_stream) = system_channel.rendezvous()
 
       standard_input = stdin_actor()
-      val stdout = raw_output_actor(false)
-      val stderr = raw_output_actor(true)
+      val stdout = physical_output_actor(false)
+      val stderr = physical_output_actor(true)
       command_input = input_actor(command_stream)
       val message = message_actor(message_stream)
 
@@ -213,7 +213,7 @@
 
   /** stream actors **/
 
-  /* raw stdin */
+  /* physical stdin */
 
   private def stdin_actor(): (Thread, Actor) =
   {
@@ -241,9 +241,9 @@
   }
 
 
-  /* raw output */
+  /* physical output */
 
-  private def raw_output_actor(err: Boolean): (Thread, Actor) =
+  private def physical_output_actor(err: Boolean): (Thread, Actor) =
   {
     val (name, reader, markup) =
       if (err) ("standard_error", process.stderr, Isabelle_Markup.STDERR)