updates

[phd-thesis.git] / thesis.tex

diff --git a/thesis.tex b/thesis.tex
index 461372e..52d5cc5 100644 (file)
--- a/thesis.tex
+++ b/thesis.tex
@@ -58,17 +58,17 @@
 \subfile{intro/intro}
 % DSL
 
-\part[\'Etude: Domain-Specific Languages]{\'Etude:\\[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[Oratorio: Task-Oriented Programming]{Oratorio\\[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/top} % MTask tutorial and implementation
 
-\part[Transformation: Tiered vs.\ Tierless Programming]{Transformation:\\[2ex]\smaller{}Tiered vs.\ Tierless Programming}%
+\part[Transformation --- Tiered vs.\ Tierless Programming]{Transformation\\[2ex]\smaller{}Tiered vs.\ Tierless Programming}%
 \label{prt:tvt}
 \subfile{tvt/tvt} % Could Tierless Languages Reduce IoT Development Grief?