# HG changeset patch
# User wenzelm
# Date 1285183264 -7200
# Node ID 1776b55f8d7a7b74cbe193162788c1b484dbbdf7
# Parent  a58eba339d2b5040c1861c9a9611b9b713456317
tuned message;

diff -r a58eba339d2b -r 1776b55f8d7a src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Wed Sep 22 20:50:25 2010 +0200
+++ b/src/Pure/System/isabelle_process.scala	Wed Sep 22 21:21:04 2010 +0200
@@ -188,7 +188,7 @@
       val message = message_actor(message_stream)
 
       val rc = process_result.join
-      system_result("Isabelle process terminated")
+      system_result("process terminated")
       for ((thread, _) <- List(standard_input, stdout, command_input, message)) thread.join
       system_result("process_manager terminated")
       put_result(Markup.EXIT, rc.toString)