--- a/src/Tools/jEdit/src/plugin.scala Wed Mar 15 16:58:52 2017 +0100
+++ b/src/Tools/jEdit/src/plugin.scala Wed Mar 15 17:24:48 2017 +0100
@@ -192,9 +192,9 @@
val session_phase_changed: Session.Phase => Unit =
{
- case Session.Terminated(_) =>
+ case Session.Terminated(rc) if rc != 0 =>
GUI_Thread.later {
- GUI.error_dialog(jEdit.getActiveView, "Prover process terminated",
+ GUI.error_dialog(jEdit.getActiveView, "Prover process terminated with error",
"Isabelle Syslog", GUI.scrollable_text(session.syslog_content()))
}