# HG changeset patch
# User wenzelm
# Date 1338323594 -7200
# Node ID e237a3fc7ba3c8d5e43b665d7f678695092e9fa2
# Parent  d899be1cfe6dc3cd705200ec8c33c8c10a2a14b4
tuned message;

diff -r d899be1cfe6d -r e237a3fc7ba3 src/Tools/jEdit/src/plugin.scala
--- a/src/Tools/jEdit/src/plugin.scala	Tue May 29 22:24:31 2012 +0200
+++ b/src/Tools/jEdit/src/plugin.scala	Tue May 29 22:33:14 2012 +0200
@@ -387,9 +387,8 @@
           phase match {
             case Session.Failed =>
               Swing_Thread.later {
-                Library.error_dialog(jEdit.getActiveView,
-                  "Failed to start Isabelle process",
-                    Library.scrollable_text(Isabelle.session.current_syslog()))
+                Library.error_dialog(jEdit.getActiveView, "Prover process failure",
+                    "Isabelle Syslog", Library.scrollable_text(Isabelle.session.current_syslog()))
               }
 
             case Session.Ready =>