X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=thesis.tex;h=a9f6c3b12b24068c26900e6ec2cad477e3907967;hb=3044eec5a52dcd464ecfe502a521d09689f48f06;hp=ee722d5588343001acbd50bfd7acdc0768b86605;hpb=e770ffa123986f62dcc3b69df9ff9895860ca319;p=phd-thesis.git diff --git a/thesis.tex b/thesis.tex index ee722d5..a9f6c3b 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} @@ -108,7 +100,9 @@ \phantomsection{}% \label{chp:bibliography} \addcontentsline{toc}{chapter}{Bibliography} -\bibliography{bib/other,bib/self,bib/tiot} +%\bibliography{bib/other,bib/self,bib/tiot} +\renewbibmacro*{begentry}{\midsentence} +\printbibliography% % Summary \subfile{back/summary}