X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=2707992330e90bad1dacbeaa194f23330baa381b;hb=2cc098c4bb590b3493bd20b37fe24a70b0407625;hp=cc00596521b47e0e1dc910485fb6139177b155c4;hpb=36f73f706a2a868597bf92be7a3a3fd1a23444c3;p=msc-thesis1617.git

diff --git a/glossaries.tex b/glossaries.tex
index cc00596..2707992 100644
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -7,15 +7,16 @@
 \newglossaryentry{Haskell}{name={\emph{Haskell}},
 	description={is a staticly typed pure lazy functional programming language}}
 \newglossaryentry{iTasks}{name=\emph{iTasks},
-	description={is a \acrshort{TOP} implementation written as an
-	\acrshort{EDSL} in the \gls{Clean} programming language}}
+	description={is a \gls{TOP} implementation written as an
+	\gls{EDSL} in the \gls{Clean} programming language}}
 \newglossaryentry{Ivory}{name={\emph{Ivory}},
 	description={is a type-safe \gls{EDSL} designed to generate \gls{C}-code
 	for high-assurance low-level systems}}
 \newglossaryentry{Task}{name=\emph{Task},
-	description={is the basic building block of a \acrshort{TOP} system}}
+	description={is the basic building block of a \gls{TOP} system}}
 \newglossaryentry{mTask}{name=\emph{mTask},
-	description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}}
+	description={is an abstraction for \glspl{Task} living on \gls{IoT}
+	devices. Moreover, it is the name of an \gls{EDSL}}}
 \newglossaryentry{C}{name=\textsc{C},
 	description={is low-level imperative programming language suitable for
 	embedded devices}}