--- a/src/Doc/JEdit/JEdit.thy Wed Apr 19 16:22:20 2017 +0200
+++ b/src/Doc/JEdit/JEdit.thy Wed Apr 19 16:24:59 2017 +0200
@@ -231,6 +231,7 @@
\<open>Usage: isabelle jedit [OPTIONS] [FILES ...]
Options are:
+ -A explore theory imports of all known sessions
-D NAME=X set JVM system property
-J OPTION add JVM runtime option
-R open ROOT entry of logic session and use its parent
@@ -257,6 +258,11 @@
The \<^verbatim>\<open>-n\<close> option bypasses the implicit build process for the selected
session image.
+ Option \<^verbatim>\<open>-A\<close> explores theory imports of all known sessions (according to the
+ directories specified via option \<^verbatim>\<open>-d\<close>). This facilitates editing of a
+ complex session hierarchy with session-qualified theory imports, while using
+ a different base session image than usual.
+
Option \<^verbatim>\<open>-R\<close> modifies the meaning of option \<^verbatim>\<open>-l\<close> as follows: the \<^verbatim>\<open>ROOT\<close>
entry of the specified session is opened in the editor, while its parent
session is used for formal checking. This facilitates maintenance of a