X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.tex;h=f5e16d47889b006d18b10a05325804cd32878b54;hb=55d92612436b8bed8a114e6dc49ce86d7cb96bea;hp=ee722d5588343001acbd50bfd7acdc0768b86605;hpb=e770ffa123986f62dcc3b69df9ff9895860ca319;p=phd-thesis.git diff --git a/thesis.tex b/thesis.tex index ee722d5..f5e16d4 100644 --- a/thesis.tex +++ b/thesis.tex @@ -57,13 +57,11 @@ \bookmark[level=section,dest=dedication]{Dedication} \subfile{front/dedication} -% Reset glossary and thus the acronyms -\glsresetall{} - % The actual document \mainmatter% \mainmatterfancy% -\setcounter{chapter}{-1} +%\setcounter{chapter}{-1} +\glsresetall{} % Reset glossary and thus the acronyms % Introduction \subfile{intro/intro} @@ -73,14 +71,8 @@ \subfile{dsl/class} % Deep embedding with class \subfile{dsl/first} % First-class data types -\part[Orchestrating the Internet of Things using Task-O\-rien\-ted Programming]{\\[2ex]\smaller{}Orchestrating the Internet of Things using Task-O\-rien\-ted Programming}% -\label{prt:top} -\subfile{top/4iot} % TOP for the IoT -\subfile{top/lang} % mTask DSL -\subfile{top/int} % Integration with iTask -\subfile{top/imp} % Implementation -\subfile{top/green} % Green computing -\subfile{top/finale} % Conclusion +% Part II +\subfile{top/top} \part[Tiered versus Tierless Programming]{\\[2ex]\smaller{}Tiered versus Tierless Programming}% \label{prt:tvt}