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
Sun, 03 Aug 2014 17:17:59 +0200
changeset 57848 f68cda7c85d4
parent 57847 85b8cc142384
child 57849 6d8f97d555d8
tuned message;
src/Tools/jEdit/src/scala_console.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/scala_console.scala	Sat Aug 02 23:20:49 2014 +0200
+++ b/src/Tools/jEdit/src/scala_console.scala	Sun Aug 03 17:17:59 2014 +0200
@@ -201,6 +201,7 @@
   {
     out.print(null,
      "This shell evaluates Isabelle/Scala expressions.\n\n" +
+     "The contents of package isabelle and isabelle.jedit are imported.\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\n" +
isabelle