--- a/src/Doc/JEdit/JEdit.thy Fri Jun 29 15:54:41 2018 +0200
+++ b/src/Doc/JEdit/JEdit.thy Fri Jun 29 16:45:54 2018 +0200
@@ -237,6 +237,7 @@
-b build only
-d DIR include session directory
-f fresh build
+ -i NAME include session in name-space of theories
-j OPTION add jEdit runtime option
(default $JEDIT_OPTIONS)
-l NAME logic image name
@@ -266,6 +267,9 @@
ancestor session for options \<^verbatim>\<open>-R\<close> and \<^verbatim>\<open>-S\<close>: this allows to restructure the
hierarchy of session images on the spot.
+ The \<^verbatim>\<open>-i\<close> option includes additional sessions into the name-space of
+ theories: multiple occurrences are possible.
+
The \<^verbatim>\<open>-m\<close> option specifies additional print modes for the prover process.
Note that the system option @{system_option_ref jedit_print_mode} allows to
do the same persistently (e.g.\ via the \<^emph>\<open>Plugin Options\<close> dialog of