diff options
Diffstat (limited to 'thesis/thesis.tex')
| -rw-r--r-- | thesis/thesis.tex | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/thesis/thesis.tex b/thesis/thesis.tex index 9e320c2..7ebb7ad 100644 --- a/thesis/thesis.tex +++ b/thesis/thesis.tex @@ -62,13 +62,12 @@ It produces on average 20\% smaller code than the ARM code generator, which is o \appendix \input{terms} \input{system} +\input{status} \ifdraft\else \cleardoublepage \fi -\let\oldurl\url -\renewcommand{\url}[1]{{\small\oldurl{#1}}} % See http://tex.stackexchange.com/a/40750/23992 \DeclareRobustCommand{\VAN}[1]{van #1} \phantomsection\addcontentsline{toc}{section}{\bibname} |