2019

diff --git a/hdrmain.tex b/hdrmain.tex
index 1586e4ece48b59cf777d68e3144d2f3a3f2e2f3e..47d487e965010b88b8393585ae2c5c9102e2859c 100644 (file)
--- a/hdrmain.tex
+++ b/hdrmain.tex
@@ -49,7 +49,7 @@
       {\LARGE\bfseries Control, humans, machines, WTF?}\r
 \r
       \vspace*{\stretch{2}}\r
-      XXX 2020\r
+      XXX 2019\r
 \r
       \vspace*{\stretch{2}}\r
     \end{centering}\r
@@ -95,6 +95,9 @@
 \listoftables\r
   \cleardoublepage\r
 \r
+\listofdefinitions\r
+  \cleardoublepage\r
+\r
 \mainmatter\r
 \r
 \input{tex/introduction}\r