src/Doc/ROOT

     ML
     Prelim
     Proof
     Syntax
     Tactic
-  theories [proofs = 2, parallel_proofs = 0]
+  theories [proofs = 2, skip_proofs = false, parallel_proofs = 0]
     Logic
   files
     "../prepare_document"
     "../pdfsetup.sty"
     "../iman.sty"