tuned;
authorwenzelm
Sun Nov 20 16:22:32 2016 +0100 (2016-11-20)
changeset 64511287d4cdf70a0
parent 64510 488cb71eeb83
child 64512 2b90410090ee
tuned;
src/Doc/Isar_Ref/document/root.tex
     1.1 --- a/src/Doc/Isar_Ref/document/root.tex	Sun Nov 20 16:18:04 2016 +0100
     1.2 +++ b/src/Doc/Isar_Ref/document/root.tex	Sun Nov 20 16:22:32 2016 +0100
     1.3 @@ -64,6 +64,7 @@
     1.4  \chapter*{Preface}
     1.5  \input{Preface.tex}
     1.6  \tableofcontents
     1.7 +\listoffigures
     1.8  \clearfirst
     1.9  
    1.10  \part{Basic Concepts}