--- a/src/Tools/jEdit/src/scala_console.scala Fri Nov 18 16:42:31 2011 +0100
+++ b/src/Tools/jEdit/src/scala_console.scala Fri Nov 18 21:50:50 2011 +0100
@@ -126,8 +126,8 @@
"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 instance\n" +
- " Isabelle -- Isabelle plugin instance (e.g. Isabelle.session)\n")
+ " console -- jEdit Console plugin\n" +
+ " Isabelle -- Isabelle plugin (e.g. Isabelle.session, Isabelle.document_model)\n")
}
override def printPrompt(console: Console, out: Output)