# HG changeset patch
# User wenzelm
# Date 1509551918 -3600
# Node ID fa79f18eadc7d9312cdfc79cf94d91eaaf33c159
# Parent  806bc39550a5df6277f03c26282cb128eec7dfff
clarified terminology;

diff -r 806bc39550a5 -r fa79f18eadc7 src/Doc/JEdit/JEdit.thy
--- 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)
diff -r 806bc39550a5 -r fa79f18eadc7 src/Pure/Thy/sessions.scala
--- 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,
diff -r 806bc39550a5 -r fa79f18eadc7 src/Tools/jEdit/lib/Tools/jedit
--- 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)"