src/Tools/jEdit/src/plugin.scala
changeset 48022 e237a3fc7ba3
parent 48020 a4f9957878ab
child 48709 719f458cd89e
     1.1 --- a/src/Tools/jEdit/src/plugin.scala	Tue May 29 22:24:31 2012 +0200
     1.2 +++ b/src/Tools/jEdit/src/plugin.scala	Tue May 29 22:33:14 2012 +0200
     1.3 @@ -387,9 +387,8 @@
     1.4            phase match {
     1.5              case Session.Failed =>
     1.6                Swing_Thread.later {
     1.7 -                Library.error_dialog(jEdit.getActiveView,
     1.8 -                  "Failed to start Isabelle process",
     1.9 -                    Library.scrollable_text(Isabelle.session.current_syslog()))
    1.10 +                Library.error_dialog(jEdit.getActiveView, "Prover process failure",
    1.11 +                    "Isabelle Syslog", Library.scrollable_text(Isabelle.session.current_syslog()))
    1.12                }
    1.13  
    1.14              case Session.Ready =>