src/Doc/ROOT

--- a/src/Doc/ROOT	Mon Jun 15 13:29:57 2015 +0200
+++ b/src/Doc/ROOT	Mon Jun 15 14:10:41 2015 +0200
@@ -164,6 +164,7 @@
     Document_Preparation
     Spec
     Proof
+    Proof_Script
     Inner_Syntax
     Misc
     Generic