From 1a485d8cb25f32306de56dcdf1305599aadbb909 Mon Sep 17 00:00:00 2001
From: Mart Lubbers <mart@martlubbers.net>
Date: Mon, 3 Jul 2017 17:19:24 +0200
Subject: [PATCH] title capitalization

---
 abstract.tex | 2 +-
 edsl.tex     | 6 +++---
 mtask.tex    | 2 +-
 3 files changed, 5 insertions(+), 5 deletions(-)

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}
-- 
2.20.1