Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Fri, 18 Nov 2011 21:50:50 +0100
changeset 45580 136e3faf74da
parent 45579 2022cd224a3c
child 45581 ac32737ff69e
tuned message;
src/Tools/jEdit/src/scala_console.scala file | annotate | diff | comparison | revisions 
--- 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)
isabelle