X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=results.arch.tex;h=cbef26c9625b6c41eec04c7fc4b34fa6bd1da409;hb=7b0fe8509016c0841d35239dc87150e945cfd960;hp=87a25cb833f548783a0e3cacf2f4b56fa079886f;hpb=aad24fbc3e6d51559228eb0196536fc00ab58686;p=msc-thesis1617.git

diff --git a/results.arch.tex b/results.arch.tex
index 87a25cb..cbef26c 100644
--- a/results.arch.tex
+++ b/results.arch.tex
@@ -40,7 +40,7 @@ send a request for specification. The client will serialize his specification
 and send it to the server so that the server knows what the client is capable
 of. The exact specification is listed in Listing~\ref{lst:devicespec}
 
-\begin{lstlisting}[language=Clean,label={lst:devicespec},
+\begin{lstlisting}[label={lst:devicespec},
 	caption={Device specification for \glspl{mTask}}]
 :: MTaskDeviceSpec =
 	{haveLed     :: Bool
@@ -74,7 +74,7 @@ stores the specification of the device that is received when connecting.
 All of this is listed in Listing~\ref{lst:mtaskdevice}. The definitions of the
 message format are explained in the following section.
 
-\begin{lstlisting}[language=Clean,caption={Device type},label={lst:mtaskdevice}]
+\begin{lstlisting}[caption={Device type},label={lst:mtaskdevice}]
 deviceStore :: Shared [MTaskDevice]
 
 :: Channels :== ([MTaskMSGRecv], [MTaskMSGSend], Bool)
@@ -101,7 +101,7 @@ class MTaskDuplex a where
 \section{Communication}
 All \gls{mTask} messages are encoded following the specification given in
 Appendix~\ref{app:communication-protocol}. Available messages are:
-\begin{lstlisting}[language=Clean,caption={Available messages}]
+\begin{lstlisting}[caption={Available messages}]
 :: MTaskMSGRecv
 	= MTTaskAck Int Int           | MTTaskDelAck Int
 	| MTSDSAck Int                | MTSDSDelAck Int
@@ -130,7 +130,7 @@ their channels. This allows you to give an old device record to the function
 and still update the latest instance. Listing~\ref{lst:connectDevice} shows the
 connection function.
 
-\begin{lstlisting}[language=Clean,label={lst:connectDevice},%
+\begin{lstlisting}[label={lst:connectDevice},%
 	caption={Connect a device}]
 withDevices :: MTaskDevice (MTaskDevice -> MTaskDevice) -> Task [MTaskDevice]