title capitalization

diff --git a/abstract.tex b/abstract.tex
index 04b68ea..756de5d 100644 (file)
--- 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 (file)
--- 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 (file)
--- 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}