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

diff --git a/top/int.tex b/top/int.tex
index 1b310cd..a0e0224 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.