
diff -r caa7e406056d -r c51a9bd4cf09 src/Doc/System/Sessions.thy
--- 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




