X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mtask.tex;h=fc0a047787ecba8674dee12cb7b3f046041d78f6;hb=a5e7727b619f6b1f5c123f6ebb3e7fcce2b1f731;hp=12bf4980e292b2808f13a6ab552e735b0326dca0;hpb=6548a5ec9ce8e0df67fc4019625ab5238eb1bf71;p=msc-thesis1617.git

diff --git a/mtask.tex b/mtask.tex
index 12bf498..fc0a047 100644
--- a/mtask.tex
+++ b/mtask.tex
@@ -1,5 +1,4 @@
-The \gls{mTask}-\gls{EDSL} is the language used for the proposed system. The
-\gls{mTask}-\gls{EDSL} was created by Koopman et al.\ and supports several
+The \gls{mTask}-\gls{EDSL} was created by Koopman et al.\ and supports several
 views such as an \gls{iTasks} simulation and a \gls{C}-code generator. The
 \gls{EDSL} was designed to generate a ready-to-compile \gls{TOP}-like program
 for microcontrollers such as the \gls{Arduino}~\cite{koopman_type-safe_nodate}%
@@ -42,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}