--- a/src/Tools/jEdit/src/jedit/scala_console.scala Sat Jan 09 23:28:52 2010 +0100
+++ b/src/Tools/jEdit/src/jedit/scala_console.scala Sun Jan 10 15:15:04 2010 +0100
@@ -106,7 +106,7 @@
}
interp.setContextClassLoader
interp.bind("view", "org.gjt.sp.jedit.View", console.getView)
- interp.bind("session", "isabelle.proofdocument.Session", Isabelle.session)
+ interp.interpret("import isabelle.jedit.Isabelle")
interpreters += (console -> interp)
}
@@ -121,8 +121,8 @@
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" +
- " session -- Isabelle session (e.g. session.isabelle_system)\n")
+ " view -- current jEdit/Swing view (e.g. view.getBuffer, view.getTextArea)\n" +
+ " Isabelle -- main Isabelle plugin instance (e.g. Isabelle.system, Isabelle.session)\n")
}
override def printPrompt(console: Console, out: Output)