--- a/src/Doc/ProgProve/document/root.tex Mon Jul 29 18:06:39 2013 +0200 +++ b/src/Doc/ProgProve/document/root.tex Mon Jul 29 22:17:19 2013 +0200 @@ -2,7 +2,7 @@ \input{prelude} -\excludecomment{sem} +\newif\ifsem \begin{document}