redundant (see isabelle.Dump.make_options);
authorwenzelm
Sun, 06 Jan 2019 12:01:09 +0100
changeset 69601 c51a9bd4cf09
parent 69599 caa7e406056d
child 69602 48e973251070
redundant (see isabelle.Dump.make_options);
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