clean up and fix lstlistoflistings indentation

[msc-thesis1617.git] / mtask.tex

diff --git a/mtask.tex b/mtask.tex
index 12bf498..fc0a047 100644 (file)
--- 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}