From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 21 Jun 2017 18:29:14 +0000 (+0200)
Subject: fix overfull hboxes and references
X-Git-Tag: hand-in~64
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=5fef9ca5f782e58aca5c019c71db675e16138b4d;p=msc-thesis1617.git

fix overfull hboxes and references
---

diff --git a/conclusion.tex b/conclusion.tex
index d300c35..1b2e533 100644
--- a/conclusion.tex
+++ b/conclusion.tex
@@ -68,7 +68,7 @@ flow between \gls{mTask}-\glspl{Task}. In this way the new system follows the
 mentioned extension such as the parallel combinator. Others might be achieved
 using simple syntactic transformations.
 
-\paragraph{Launch \glspl{Task} from a \gls{Task}: }
+\paragraph{Launch \glspl{Task} from a \gls{Task}: }\label{par:tasklaunch}
 Currently the \gls{C}-view allows \glspl{Task} to launch other \glspl{Task}. In
 the current system this type of logic has to take place server side. Adding
 this functionality to the bytecode-view allows greater flexibility, easier
diff --git a/results.arch.tex b/results.arch.tex
index 1e57c62..d5e975d 100644
--- a/results.arch.tex
+++ b/results.arch.tex
@@ -54,7 +54,7 @@ the device software.
 
 		This is tested in particular on the \texttt{STM32f7x} series \gls{ARM}
 		development board.
-	\item Microcontrollers programmable by the \gls{Arduino} \gls{IDE}.\\
+	\item Microcontrollers who are programmable in the \gls{Arduino} \gls{IDE}.\\
 
 		This does not only include \gls{Arduino} compatible boards but also
 		other boards capable of running \gls{Arduino} code. The code
diff --git a/results.itasks.tex b/results.itasks.tex
index aabc569..f157d20 100644
--- a/results.itasks.tex
+++ b/results.itasks.tex
@@ -35,7 +35,7 @@ a device after a restart of the server application.
 \begin{figure}[H]
 	\centering
 	\includegraphics[width=\linewidth]{manage}
-	\caption{The device management interface}\label{lst:manageme}
+	\caption{The device management interface}\label{lst:manage}
 \end{figure}
 
 \section{Shares}
@@ -84,7 +84,7 @@ This allows the programmer to create filters and lenses. Both of the methods
 are not good enough for the device \gls{SDS} because they do not achieve the
 writing to the actual device. Writing to a device requires being able to write
 to \glspl{SDS}. To solve this problem, a real base \gls{SDS} is created. All
-the details are visible in Listing~\ref{shareimpl}.
+the details are visible in Listing~\ref{lst:shareimpl}.
 
 \begin{lstlisting}[label={lst:shareimpl},%
 	caption={Base share implementation}]
diff --git a/results.mtask.tex b/results.mtask.tex
index 20a51f1..888b0d6 100644
--- a/results.mtask.tex
+++ b/results.mtask.tex
@@ -151,7 +151,7 @@ and avoid label lookups at runtime.
 	| BCReturn
 \end{lstlisting}
 
-All single byte instructions can be converted automatically using the generic
+All single byte instructions are converted automatically using the generic
 function \CI{consIndex} which returns the index of the constructor. The index
 of the constructor is the byte value for all instructions. The last step of the
 compilation is transforming the list of bytecode instructions to actual bytes.