src/Doc/Isar_Ref/document/root.tex
changeset 60286 410115884a92
parent 59974 b911c8ba0b69
child 60301 ff82ba1893c8
equal deleted inserted replaced
60285:b4f1a0a701ae 60286:410115884a92
    57 \begin{document}
    57 \begin{document}
    58 
    58 
    59 \maketitle 
    59 \maketitle 
    60 
    60 
    61 \pagenumbering{roman}
    61 \pagenumbering{roman}
    62 {\def\isamarkupchapter#1{\chapter*{#1}}\input{Preface.tex}}
    62 \chapter*{Preface}
       
    63 \input{Preface.tex}
    63 \tableofcontents
    64 \tableofcontents
    64 \clearfirst
    65 \clearfirst
    65 
    66 
    66 \part{Basic Concepts}
    67 \part{Basic Concepts}
    67 \input{Synopsis.tex}
    68 \input{Synopsis.tex}