X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mtaskext.sdssem.tex;h=c4f2c2b46beaee226fd5a09704578b51c35c2ee6;hb=8755061062b9738c80da1f5966c93ac6ec832a5c;hp=b0b8fa6acb606ff4d8222a50ea3246c5447bbd16;hpb=d66b8c6bae6fde77e7ba53759f862364a9505ace;p=msc-thesis1617.git

diff --git a/mtaskext.sdssem.tex b/mtaskext.sdssem.tex
index b0b8fa6..c4f2c2b 100644
--- a/mtaskext.sdssem.tex
+++ b/mtaskext.sdssem.tex
@@ -27,11 +27,12 @@ class sdspub v where
 
 Moreover, \glspl{SDS} in the \gls{mTask}-\gls{EDSL} are always anonymous. There
 is no way of labeling it since it is not a real entity, it is just a function.
-When a \gls{SDS} is sent to the device it must be retrievable and identifiable.
-It is not always clear which instantiated \gls{SDS} is which. Therefore, an
-added class named \CI{namedsds} is added that provides the exact same
-functionality as the \gls{SDS} class but adds a \CI{String} parameter that can
-later be used to identify a \gls{SDS}. The types for this class are as follows:
+When an \gls{SDS} is sent to the device it must be retrievable and
+identifiable.  It is not always clear which instantiated \gls{SDS} is which.
+Therefore, an added class named \CI{namedsds} is added that provides the exact
+same functionality as the \gls{SDS} class but adds a \CI{String} parameter that
+can later be used to identify an \gls{SDS}. The types for this class are as
+follows:
 
 \begin{lstlisting}[caption={The \texttt{namedsds} class}]
 class namedsds v where