--- a/src/Doc/System/Sessions.thy Sat Jan 05 20:12:02 2019 +0100
+++ b/src/Doc/System/Sessions.thy Sun Jan 06 12:01:09 2019 +0100
@@ -769,7 +769,7 @@
separately with special options as follows:
@{verbatim [display] \<open>isabelle update -u mixfix_cartouches -l HOL-Proofs -B HOL-Proofs
- -o record_proofs=2 -o parallel_proofs=0\<close>}
+ -o record_proofs=2\<close>}
\<^smallskip> See also the end of \secref{sec:tool-dump} for hints on increasing
Isabelle/ML heap sizes for very big PIDE processes that include many