X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;ds=sidebyside;f=thesis.tex;h=4d3cc66c236fd4d08bda94ce9e57182191e2dd3c;hb=02d46e3fc22609f2624ebda38e089194a70dd5ad;hp=930e1ded7e27c13715e6cb31b144a94d2e773353;hpb=3fe94feeee0efd1922263aca9d578031e2283f61;p=phd-thesis.git

diff --git a/thesis.tex b/thesis.tex
index 930e1de..4d3cc66 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -11,11 +11,11 @@
 \overfullrule=1mm
 
 % Just for the todonotes, can go when it's finished
-\usepackage[disable]{todonotes}
+\usepackage{todonotes}
 \setuptodonotes{
 	backgroundcolor=white,
 	linecolor=black,
-	size=scriptsize,
+	size=tiny,
 }
 %\newcommand{\todo}[2][1]{1}
 %\newcommand{\listoftodos}{}
@@ -60,13 +60,13 @@
 \subfile{intro/introduction}
 % DSL
 
-\part[Prelude: Domain-Specific Languages]{Prelude:\\[2ex]\smaller{}Domain-Specific Languages}%
+\part[\'Etude: Domain-Specific Languages]{\'Etude:\\[2ex]\smaller{}Domain-Specific Languages}%
 \label{prt:dsl}
 \subfile{dsl/dsl_techniques}        % DSL Techniques
 \subfile{dsl/class_deep_embedding}  % Deep embedding with class
 \subfile{dsl/first-class_datatypes} % First-class data types
 
-\part[Exposition: Task-Oriented Programming]{Exposition:\\[2ex]\smaller{}Task-Oriented Programming for the Internet of Things}%
+\part[Oratorio: Task-Oriented Programming]{Oratorio\\[2ex]\smaller{}Task-Oriented Programming for the Internet of Things}%
 \label{prt:top}
 \subfile{top/mtask} % MTask tutorial and implementation