# HG changeset patch
# User wenzelm
# Date 1407079079 -7200
# Node ID f68cda7c85d4b33ea4a22b96dc530ffc5a26e857
# Parent  85b8cc14238402656283122b22c0fe6a60a5b79a
tuned message;

diff -r 85b8cc142384 -r f68cda7c85d4 src/Tools/jEdit/src/scala_console.scala
--- 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" +