--- a/src/Doc/System/Server.thy Fri Mar 01 20:16:26 2019 +0100
+++ b/src/Doc/System/Server.thy Fri Mar 01 21:29:59 2019 +0100
@@ -655,7 +655,6 @@
\quad~~\<open>options?: [string],\<close> \\
\quad~~\<open>dirs?: [string],\<close> \\
\quad~~\<open>include_sessions: [string],\<close> \\
- \quad~~\<open>system_mode?: bool,\<close> \\
\quad~~\<open>verbose?: bool}\<close> \\[2ex]
\end{tabular}
@@ -724,10 +723,6 @@
in a robust manner, instead of relying on directory locations.
\<^medskip>
- If \<open>system_mode\<close> is \<^verbatim>\<open>true\<close>, session images are stored in \<^path>\<open>$ISABELLE_HEAPS_SYSTEM\<close> instead of \<^path>\<open>$ISABELLE_HEAPS\<close>. See also
- option \<^verbatim>\<open>-s\<close> in @{tool build} (\secref{sec:tool-build}).
-
- \<^medskip>
The \<open>verbose\<close> field set to \<^verbatim>\<open>true\<close> yields extra verbosity. The effect is
similar to option \<^verbatim>\<open>-v\<close> in @{tool build}.
\<close>