src/Tools/jEdit/src/scala_console.scala

       override def parentClassLoader = new JARClassLoader
     }
     interp.setContextClassLoader
     interp.bind("view", "org.gjt.sp.jedit.View", console.getView)
     interp.bind("console", "console.Console", console)
-    interp.interpret("import isabelle.jedit.Isabelle")
+    interp.interpret("import isabelle.jedit.PIDE")
 
     interpreters += (console -> interp)
   }
 
   override def closeConsole(console: Console)

   override def printInfoMessage(out: Output)
   {
     out.print(null,
      "This shell evaluates Isabelle/Scala expressions.\n\n" +
      "The following special toplevel bindings are provided:\n" +
-     "  view      -- current jEdit/Swing view (e.g. view.getBuffer, view.getTextArea)\n" +
-     "  console   -- jEdit Console plugin\n" +
-     "  Isabelle  -- Isabelle plugin (e.g. Isabelle.session, Isabelle.document_model)\n")
+     "  view    -- current jEdit/Swing view (e.g. view.getBuffer, view.getTextArea)\n" +
+     "  console -- jEdit Console plugin\n" +
+     "  PIDE    -- Isabelle/PIDE plugin (e.g. PIDE.session, PIDE.document_model)\n")
   }
 
   override def printPrompt(console: Console, out: Output)
   {
     out.writeAttrs(ConsolePane.colorAttributes(console.getInfoColor), "scala>")