diff -r 9a566f4ac20a -r 98ee86354354 src/Doc/Isar_Ref/document/root.tex
--- a/src/Doc/Isar_Ref/document/root.tex	Mon Jun 15 13:29:57 2015 +0200
+++ b/src/Doc/Isar_Ref/document/root.tex	Mon Jun 15 14:10:41 2015 +0200
@@ -74,6 +74,7 @@
 \input{Document_Preparation.tex}
 \input{Spec.tex}
 \input{Proof.tex}
+\input{Proof_Script.tex}
 \input{Inner_Syntax.tex}
 \input{Misc.tex}
 \input{Generic.tex}