src/Doc/ROOT

--- a/src/Doc/ROOT	Mon Jul 01 15:08:29 2013 +0200
+++ b/src/Doc/ROOT	Tue Jul 02 14:48:01 2013 +0200
@@ -81,7 +81,7 @@
     Proof
     Syntax
     Tactic
-  theories [skip_proofs = false, parallel_proofs = 0]
+  theories [parallel_proofs = 0]
     Logic
   files
     "../prepare_document"