src/Doc/ROOT
changeset 52499 812215680f6d
parent 52488 cd65ee49a8ba
child 52552 0260bdba4dd7
     1.1 --- a/src/Doc/ROOT	Mon Jul 01 15:08:29 2013 +0200
     1.2 +++ b/src/Doc/ROOT	Tue Jul 02 14:48:01 2013 +0200
     1.3 @@ -81,7 +81,7 @@
     1.4      Proof
     1.5      Syntax
     1.6      Tactic
     1.7 -  theories [skip_proofs = false, parallel_proofs = 0]
     1.8 +  theories [parallel_proofs = 0]
     1.9      Logic
    1.10    files
    1.11      "../prepare_document"