changeset 48970 | 8be091776e93 |
parent 48942 | 75d8778f94d3 |
--- a/doc-src/Logics/document/root.tex Tue Aug 28 16:14:35 2012 +0200 +++ b/doc-src/Logics/document/root.tex Tue Aug 28 16:18:23 2012 +0200 @@ -39,12 +39,12 @@ \begin{document} \maketitle \pagenumbering{roman} \tableofcontents \clearfirst -\include{preface} -\include{syntax} -\include{LK} -\include{Sequents} -%%\include{Modal} -\include{CTT} +\input{preface} +\input{syntax} +\input{LK} +\input{Sequents} +%%\input{Modal} +\input{CTT} \bibliographystyle{plain} \bibliography{manual} \printindex