--- 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"