From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 3 Jul 2017 15:19:24 +0000 (+0200)
Subject: title capitalization
X-Git-Tag: hand-in~5
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=1a485d8cb25f32306de56dcdf1305599aadbb909;p=msc-thesis1617.git

title capitalization
---

diff --git a/abstract.tex b/abstract.tex
index 04b68ea..756de5d 100644
--- a/abstract.tex
+++ b/abstract.tex
@@ -1,4 +1,4 @@
-This thesis introduces a innovative way to connect small Internet of Things
+This thesis introduces an innovative way to connect small Internet of Things
 devices to high level Task Oriented Programming implementations languages. The
 existing class-based shallowly Embedded Domain Specific Language called mTask
 by Koopman et al.\ --- written in Clean --- is extended with a new view to
diff --git a/edsl.tex b/edsl.tex
index e66577d..0ee1b9b 100644
--- a/edsl.tex
+++ b/edsl.tex
@@ -6,11 +6,11 @@ advantages and disadvantages in terms of extendability, typedness and view
 support. In the following subsections each of the main techniques are briefly
 explained.
 
-\section{Deep embedding}
+\section{Deep Embedding}
 \input{edsl.deep}
 
-\section{Shallow embedding}
+\section{Shallow Embedding}
 \input{edsl.shallow}
 
-\section{Class based shallow embedding}
+\section{Class Based Shallow Embedding}
 \input{edsl.class}
diff --git a/mtask.tex b/mtask.tex
index 938d9d4..fc0a047 100644
--- a/mtask.tex
+++ b/mtask.tex
@@ -41,7 +41,7 @@ instance isExpr Expr
 \section{Control flow}
 \input{mtask.control}
 
-\section{Input/Output and class extensions}
+\section{Input/Output and Class Extensions}
 \input{mtask.io}
 
 \section{Semantics}