--- a/src/Doc/JEdit/JEdit.thy Wed Nov 01 16:43:51 2017 +0100
+++ b/src/Doc/JEdit/JEdit.thy Wed Nov 01 16:58:38 2017 +0100
@@ -228,7 +228,7 @@
\<open>Usage: isabelle jedit [OPTIONS] [FILES ...]
Options are:
- -B use image with required theory imports from other sessions
+ -B use base session image, with theories from other sessions
-D NAME=X set JVM system property
-J OPTION add JVM runtime option
(default $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS)
--- a/src/Pure/Thy/sessions.scala Wed Nov 01 16:43:51 2017 +0100
+++ b/src/Pure/Thy/sessions.scala Wed Nov 01 16:58:38 2017 +0100
@@ -362,7 +362,7 @@
if (required_theories.isEmpty) (info.parent.get, Nil)
else {
- val other_name = info.name + "(imports)"
+ val other_name = info.name + "(base)"
(other_name,
List(
make_info(info.options,
--- a/src/Tools/jEdit/lib/Tools/jedit Wed Nov 01 16:43:51 2017 +0100
+++ b/src/Tools/jEdit/lib/Tools/jedit Wed Nov 01 16:58:38 2017 +0100
@@ -97,7 +97,7 @@
echo "Usage: isabelle $PRG [OPTIONS] [FILES ...]"
echo
echo " Options are:"
- echo " -B use image with required theory imports from other sessions"
+ echo " -B use base session image, with theories from other sessions"
echo " -D NAME=X set JVM system property"
echo " -J OPTION add JVM runtime option"
echo " (default $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS)"