X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mtask.examples.tex;h=c98cdd3f589fdfb9ee000af47f499c7abfd15c8c;hb=1a485d8cb25f32306de56dcdf1305599aadbb909;hp=db15f5f3758f396597a7e1162d7465a2a5f98b70;hpb=d66b8c6bae6fde77e7ba53759f862364a9505ace;p=msc-thesis1617.git

diff --git a/mtask.examples.tex b/mtask.examples.tex
index db15f5f..c98cdd3 100644
--- a/mtask.examples.tex
+++ b/mtask.examples.tex
@@ -2,14 +2,14 @@ Some example \gls{mTask}-\glspl{Task} --- using almost all of their
 functionality --- are shown in Listing~\ref{lst:exmtask}. The
 \gls{mTask}-\glspl{Task} shown in the example do not belong to a particular
 view and therefore are of the type \CI{View t r}.  The \CI{blink} \gls{mTask}
-show the classic \gls{Arduino} blinking led application that blinks a certain
-\gls{LED} every second. The \CI{thermostat} expression will enable a digital
-pin powering a cooling fan when the analog pin representing a temperature
-sensor is too high.  \CI{thermostat`} shows the same expression but now using
-the assignment style \gls{GPIO} technique. The \CI{thermostat} example also
-shows that it is not necessary to run everything as a \CI{task}. The main
-program code can also just consist of the contents of the root \CI{main}
-itself.
+show the classic \gls{Arduino} blinking \gls{LED} application that blinks a
+certain \gls{LED} every second. The \CI{thermostat} expression will enable a
+digital pin powering a cooling fan when the analog pin representing a
+temperature sensor is too high.  \CI{thermostat`} shows the same expression but
+now using the assignment style \gls{GPIO} technique. The \CI{thermostat}
+example also shows that it is not necessary to run everything as a \CI{task}.
+The main program code can also just consist of the contents of the root
+\CI{main} itself.
 
 \begin{lstlisting}[%
 	label={lst:exmtask},caption={Some example \gls{mTask}-\glspl{Task}}]