# HG changeset patch # User wenzelm # Date 1321649450 -3600 # Node ID 136e3faf74daf37754f7b846f40d79a05a61f244 # Parent 2022cd224a3cad4e374a6fd35e8e843872f61aae tuned message; diff -r 2022cd224a3c -r 136e3faf74da src/Tools/jEdit/src/scala_console.scala --- 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)