diff -r 25b178e4faaf -r 5e61055bf35b src/Tools/jEdit/src/jedit/Plugin.scala
--- a/src/Tools/jEdit/src/jedit/Plugin.scala	Thu Jun 25 00:36:20 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala	Thu Jun 25 13:36:05 2009 +0200
@@ -15,7 +15,7 @@
 import scala.collection.mutable
 
 import isabelle.prover.{Prover, Command}
-import isabelle.IsabelleSystem
+import isabelle.Isabelle_System
 
 import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, EditPane, ServiceManager, View}
 import org.gjt.sp.jedit.buffer.JEditBuffer
@@ -36,7 +36,7 @@
   }
 
   // Isabelle system instance
-  var system: IsabelleSystem = null
+  var system: Isabelle_System = null
   def symbols = system.symbols
   lazy val completion = new Completion + symbols
 
@@ -129,7 +129,7 @@
   }
 
   override def start() {
-    Isabelle.system = new IsabelleSystem
+    Isabelle.system = new Isabelle_System
     Isabelle.plugin = this
     
     if (Isabelle.Property("font-path") != null && Isabelle.Property("font-size") != null)