X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=top%2Fint.tex;h=da20690d2b658576b0801e0a793a611aa068d044;hb=40c364b9de5d27b8afedcfd83d76499acc9e31af;hp=1b310cd90b7035db169097b679f187c8b417817e;hpb=e36fac1dc27e8fda89f7970d4e1eb1d49d73f47f;p=phd-thesis.git

diff --git a/top/int.tex b/top/int.tex
index 1b310cd..da20690 100644
--- a/top/int.tex
+++ b/top/int.tex
@@ -4,7 +4,6 @@
 
 \begin{document}
 \input{subfileprefix}
-
 \chapter{Integration with \texorpdfstring{\gls{ITASK}}{iTask}}%
 \label{chp:integration_with_itask}
 \begin{chapterabstract}
@@ -27,7 +26,7 @@ The entire system is written as a single \gls{CLEAN} specification where multipl
 Tasks can access \glspl{SDS} according to many-to-many communication and multiple clients can work on the same task.
 Devices are integrated into the system using the \cleaninline{withDevice} function (see \cref{sec:withdevice}).
 Using \cleaninline{liftmTask}, \gls{MTASK} tasks are lifted to a device (see \cref{sec:liftmtask}).
-\Gls{ITASK} \glspl{SDS} are lifted to the \gls{MTASK} device using \cleaninline{liftsds} (see \cref{sec:liftmtask}).
+\Gls{ITASK} \glspl{SDS} are lifted to the \gls{MTASK} device using \cleaninline{liftsds} (see \cref{sec:liftsds}).
 
 \begin{figure}[ht]
 	\centering
@@ -158,7 +157,7 @@ class liftsds v where
 		-> Main (MTask v u) | RWShared sds
 \end{lstClean}
 
-As an example, \cref{lst:mtask_liftsds_ex} shows a lightswitch function producing an \gls{ITASK}\slash\gls{MTASK} task.
+As an example, \cref{lst:mtask_liftsds_ex} shows a lightswitch function producing an \imtask{} task.
 Given an \cleaninline{MTDevice} type, a device handle, an \gls{ITASK} \gls{SDS} of the type boolean is created.
 This boolean represents the state of the light.
 The \gls{MTASK} task uses this \gls{SDS} to turn on or off the light.
@@ -269,7 +268,7 @@ If it is different from the current state, the new value is written to the digit
 \end{figure}
 
 \begin{figure}
-	\cleaninputlisting[firstline=12,lastline=50,numbers=left,belowskip=0pt,escapeinside={/*}{*/}]{lst/example.icl}
+	\cleaninputlisting[firstline=12,lastline=50,numbers=left,belowskip=0pt]{lst/example.icl}
 	\begin{lstClean}[numbers=left,firstnumber=40,aboveskip=0pt,caption={An example of a home automation program.},label={lst:example_home_automation}]
 	, ...][+\label{lst:example:tasks2}+]\end{lstClean}
 \end{figure}