projects
/
hdr.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ad8745c
)
2019
author
Thomas Pietrzak
<thomas.pietrzak@gmail.com>
Fri, 12 Apr 2019 07:04:13 +0000
(09:04 +0200)
committer
Thomas Pietrzak
<thomas.pietrzak@gmail.com>
Fri, 12 Apr 2019 07:04:13 +0000
(09:04 +0200)
hdrmain.tex
patch
|
blob
|
history
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 20
20
\r
+ XXX 20
19
\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