changeset 66977 | fa79f18eadc7 |
parent 66973 | 829c3133c4ca |
child 66987 | 352b23c97ac8 |
--- 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)