src/Tools/jEdit/src/plugin.scala

--- a/src/Tools/jEdit/src/plugin.scala	Sat Mar 03 14:04:49 2012 +0100
+++ b/src/Tools/jEdit/src/plugin.scala	Sat Mar 03 16:59:30 2012 +0100
@@ -387,7 +387,7 @@
           phase match {
             case Session.Failed =>
               Swing_Thread.now {
-                val text = new scala.swing.TextArea(Isabelle.session.syslog())
+                val text = new scala.swing.TextArea(Isabelle.session.current_syslog())
                 text.editable = false
                 Library.error_dialog(jEdit.getActiveView, "Failed to start Isabelle process", text)
               }