clarified terminology;
authorwenzelm
Wed Nov 01 16:58:38 2017 +0100 (19 months ago)
changeset 66977fa79f18eadc7
parent 66976 806bc39550a5
child 66978 0525320d8774
clarified terminology;
src/Doc/JEdit/JEdit.thy
src/Pure/Thy/sessions.scala
src/Tools/jEdit/lib/Tools/jedit
     1.1 --- a/src/Doc/JEdit/JEdit.thy	Wed Nov 01 16:43:51 2017 +0100
     1.2 +++ b/src/Doc/JEdit/JEdit.thy	Wed Nov 01 16:58:38 2017 +0100
     1.3 @@ -228,7 +228,7 @@
     1.4  \<open>Usage: isabelle jedit [OPTIONS] [FILES ...]
     1.5  
     1.6    Options are:
     1.7 -    -B           use image with required theory imports from other sessions
     1.8 +    -B           use base session image, with theories from other sessions
     1.9      -D NAME=X    set JVM system property
    1.10      -J OPTION    add JVM runtime option
    1.11                   (default $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS)
     2.1 --- a/src/Pure/Thy/sessions.scala	Wed Nov 01 16:43:51 2017 +0100
     2.2 +++ b/src/Pure/Thy/sessions.scala	Wed Nov 01 16:58:38 2017 +0100
     2.3 @@ -362,7 +362,7 @@
     2.4  
     2.5          if (required_theories.isEmpty) (info.parent.get, Nil)
     2.6          else {
     2.7 -          val other_name = info.name + "(imports)"
     2.8 +          val other_name = info.name + "(base)"
     2.9            (other_name,
    2.10              List(
    2.11                make_info(info.options,
     3.1 --- a/src/Tools/jEdit/lib/Tools/jedit	Wed Nov 01 16:43:51 2017 +0100
     3.2 +++ b/src/Tools/jEdit/lib/Tools/jedit	Wed Nov 01 16:58:38 2017 +0100
     3.3 @@ -97,7 +97,7 @@
     3.4    echo "Usage: isabelle $PRG [OPTIONS] [FILES ...]"
     3.5    echo
     3.6    echo "  Options are:"
     3.7 -  echo "    -B           use image with required theory imports from other sessions"
     3.8 +  echo "    -B           use base session image, with theories from other sessions"
     3.9    echo "    -D NAME=X    set JVM system property"
    3.10    echo "    -J OPTION    add JVM runtime option"
    3.11    echo "                 (default $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS)"