--- a/src/Doc/Isar_Ref/document/root.tex Sun Nov 20 16:18:04 2016 +0100
+++ b/src/Doc/Isar_Ref/document/root.tex Sun Nov 20 16:22:32 2016 +0100
@@ -64,6 +64,7 @@
\chapter*{Preface}
\input{Preface.tex}
\tableofcontents
+\listoffigures
\clearfirst
\part{Basic Concepts}