# 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)