more robust options, notably for isatest mac-poly-M8-skip_proofs;
authorwenzelm
Tue Jun 25 17:14:50 2013 +0200 (2013-06-25)
changeset 52446c4a70058ff20
parent 52445 18a720984855
child 52447 9a74000426e2
more robust options, notably for isatest mac-poly-M8-skip_proofs;
src/Doc/ROOT
     1.1 --- a/src/Doc/ROOT	Tue Jun 25 16:55:10 2013 +0200
     1.2 +++ b/src/Doc/ROOT	Tue Jun 25 17:14:50 2013 +0200
     1.3 @@ -81,7 +81,7 @@
     1.4      Proof
     1.5      Syntax
     1.6      Tactic
     1.7 -  theories [proofs = 2, parallel_proofs = 0]
     1.8 +  theories [proofs = 2, skip_proofs = false, parallel_proofs = 0]
     1.9      Logic
    1.10    files
    1.11      "../prepare_document"