X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.tex;h=5cc3f42f4b0c247b834209a25cb1c3bea92b733d;hb=d60a9219fe02af560d2cde7b5a1ac9b2987da767;hp=d1822bf460af5981b9548bc9d06f8abc5363e170;hpb=fee9c0b9355b18bc2d07db1fd83407003d4000e2;p=phd-thesis.git

diff --git a/thesis.tex b/thesis.tex
index d1822bf..5cc3f42 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -19,7 +19,7 @@
 }
 
 % Document info
-\title{\mytitle{}\texorpdfstring{\\[2ex]}{---}\smaller{}\mysubtitle{}}
+\title{\mytitle\texorpdfstring{\\[2ex]}{---}\smaller\mysubtitle}
 \author{Mart Lubbers}
 \date{\mydate}
 
@@ -68,7 +68,7 @@
 \subfile{dsl/class}    % Deep embedding with class
 \subfile{dsl/first}    % First-class data types
 
-\part{Orchestrating the IoT using Task-Oriented Programming}%
+\part[\hspace{-9pt}Orchestrating the Internet of Things using Task-Oriented Programming]{\\[2ex]\smaller{}Orchestrating the Internet of Things using Task-Oriented Programming}%
 \label{prt:top}
 \subfile{top/4iot}  % TOP for the IoT
 \subfile{top/lang}  % mTask DSL
@@ -77,7 +77,7 @@
 \subfile{top/green} % Green computing
 \subfile{top/finale} % Conclusion
 
-\part{Tiered vs.\ Tierless Programming}%
+\part[Tiered versus Tierless Programming]{\\[2ex]\smaller{}Tiered versus Tierless Programming}%
 \label{prt:tvt}
 \subfile{tvt/tvt}   % Could Tierless Languages Reduce IoT Development Grief?