# HG changeset patch
# User wenzelm
# Date 1372173290 -7200
# Node ID c4a70058ff20ffb1199b99062a94ad1f0290e2ad
# Parent  18a720984855b7138933d59185c91f69b26acac1
more robust options, notably for isatest mac-poly-M8-skip_proofs;

diff -r 18a720984855 -r c4a70058ff20 src/Doc/ROOT
--- a/src/Doc/ROOT	Tue Jun 25 16:55:10 2013 +0200
+++ b/src/Doc/ROOT	Tue Jun 25 17:14:50 2013 +0200
@@ -81,7 +81,7 @@
     Proof
     Syntax
     Tactic
-  theories [proofs = 2, parallel_proofs = 0]
+  theories [proofs = 2, skip_proofs = false, parallel_proofs = 0]
     Logic
   files
     "../prepare_document"