Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Tue, 29 May 2012 22:33:14 +0200
changeset 48022 e237a3fc7ba3
parent 48021 d899be1cfe6d
child 48025 0f1d95663dff
tuned message;
src/Tools/jEdit/src/plugin.scala file | annotate | diff | comparison | revisions 
--- 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 =>
isabelle