src/Doc/ROOT
changeset 60484 98ee86354354
parent 60291 4335ee20014e
child 60656 aabae0331b2f
     1.1 --- a/src/Doc/ROOT	Mon Jun 15 13:29:57 2015 +0200
     1.2 +++ b/src/Doc/ROOT	Mon Jun 15 14:10:41 2015 +0200
     1.3 @@ -164,6 +164,7 @@
     1.4      Document_Preparation
     1.5      Spec
     1.6      Proof
     1.7 +    Proof_Script
     1.8      Inner_Syntax
     1.9      Misc
    1.10      Generic