--- a/src/Doc/System/Sessions.thy Mon Oct 14 18:51:12 2019 +0200
+++ b/src/Doc/System/Sessions.thy Mon Oct 14 19:14:03 2019 +0200
@@ -548,7 +548,6 @@
-B NAME include session NAME and all descendants
-D DIR include session directory and select its sessions
-O DIR output directory for dumped files (default: "dump")
- -P split into standard partitions (AFP, non-AFP, ...)
-R operate on requirements of selected sessions
-X NAME exclude sessions from group NAME and all descendants
-a select all sessions
@@ -572,9 +571,6 @@
scalability of the PIDE session. Its theories are processed separately,
always starting from the \<^emph>\<open>Pure\<close> session.
- \<^medskip> Option \<^verbatim>\<open>-P\<close> indicates a split into standard partitions, for improved
- scalability of the PIDE session.
-
\<^medskip> Option \<^verbatim>\<open>-o\<close> overrides Isabelle system options as for @{tool build}
(\secref{sec:tool-build}).