# HG changeset patch
# User wenzelm
# Date 1406023553 -7200
# Node ID 0f58af85881307bda7d0396e937a2077d27231a0
# Parent  0f708666eb7c7a495a34a655b92b3c674ec8fa2c
more default imports;

diff -r 0f708666eb7c -r 0f58af858813 src/Doc/JEdit/JEdit.thy
--- a/src/Doc/JEdit/JEdit.thy	Tue Jul 22 11:46:34 2014 +0200
+++ b/src/Doc/JEdit/JEdit.thy	Tue Jul 22 12:05:53 2014 +0200
@@ -553,17 +553,20 @@
   The \emph{Console} plugin manages various shells (command interpreters),
   e.g.\ \emph{BeanShell}, which is the official jEdit scripting language, and
   the cross-platform \emph{System} shell. Thus the console provides similar
-  functionality than the special Emacs buffers @{verbatim "*scratch*"} and
+  functionality than the Emacs buffers @{verbatim "*scratch*"} and
   @{verbatim "*shell*"}.
 
   Isabelle/jEdit extends the repertoire of the console by \emph{Scala}, which
   is the regular Scala toplevel loop running inside the same JVM process as
   Isabelle/jEdit itself. This means the Scala command interpreter has access
-  to the JVM name space and state of the running Prover IDE application: the
-  main entry points are @{verbatim view} (the current editor view of jEdit)
-  and @{verbatim PIDE} (the Isabelle/jEdit plugin object). For example, the
-  Scala expression @{verbatim "PIDE.snapshot(view)"} makes a PIDE document
-  snapshot of the current buffer within the current editor view.
+  to the JVM name space and state of the running Prover IDE application. The
+  default environment imports the full content of packages @{verbatim
+  "isabelle"} and @{verbatim "isabelle.jedit"}.
+
+  For example, @{verbatim PIDE} refers to the Isabelle/jEdit plugin object,
+  and @{verbatim view} to the current editor view of jEdit. The Scala
+  expression @{verbatim "PIDE.snapshot(view)"} makes a PIDE document snapshot
+  of the current buffer within the current editor view.
 
   This helps to explore Isabelle/Scala functionality interactively. Some care
   is required to avoid interference with the internals of the running
diff -r 0f708666eb7c -r 0f58af858813 src/Tools/jEdit/src/scala_console.scala
--- a/src/Tools/jEdit/src/scala_console.scala	Tue Jul 22 11:46:34 2014 +0200
+++ b/src/Tools/jEdit/src/scala_console.scala	Tue Jul 22 12:05:53 2014 +0200
@@ -153,7 +153,7 @@
       case Start(console) =>
         interp.bind("view", "org.gjt.sp.jedit.View", console.getView)
         interp.bind("console", "console.Console", console)
-        interp.interpret("import isabelle.jedit.PIDE")
+        interp.interpret("import isabelle._; import isabelle.jedit._")
         true
 
       case Execute(console, out, err, command) =>