X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.pre;h=8f384f247980980813660f768366fd9dfa5eaf8e;hb=c701de5fbdb875ad9c2257f6fb54ebc8f7805d77;hp=ef1cc96a3a1ea657c55d9e5ef381716534dd25cc;hpb=c5ca9a64d0bf611ee0d876dcb67dfb45406005b9;p=msc-thesis1617.git

diff --git a/thesis.pre b/thesis.pre
index ef1cc96..8f384f2 100644
--- a/thesis.pre
+++ b/thesis.pre
@@ -12,6 +12,9 @@
 \usepackage{subcaption}              % Subcaptions
 \usepackage{lipsum}                  % dummy text
 \usepackage{listings}                % source code
+\usepackage{float}                   % floating images
+
+\graphicspath{{img/}}
 
 \urlstyle{same}
 \hypersetup{%
@@ -23,6 +26,7 @@
 	pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
 	hidelinks=true
 }
+
 \pdfstringdefDisableCommands{%
 	\def\acrlong#1{}%
 	\def\acrshort#1{}%
@@ -51,23 +55,23 @@
 		{\\}{{$\lambda\:$}}1
 		{A.}{{$\forall\;\,$}}1
 		{E.}{{$\exists\;\,$}}1
-		{>}{{$>$}}1
-		{<}{{$<$}}1
-		{<=}{{$\leq$}}1
-		{>=}{{$\geq$}}1
-		{<>}{{$\neq$}}1
-		{->}{{$\rightarrow$}}2
-		{<-}{{$\leftarrow$}}1
-		{=}{{$=$}}1
-		{~}{{$\sim$}}1
-		{\#}{{$\sharp$}}1
-		{\{|}{{$\{\!|\!$}}1
-		{|\}}{{$\!|\!\}$}}1
-		{:=}{{$:=$}}2
-		{==}{{$==$}}2
-		{++}{{$+\!\!+$}}2
-		{+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
-		{:==}{{$:==$}}3
+%		{>}{{$>$}}1
+%		{<}{{$<$}}1
+%		{<=}{{$\leq$}}1
+%		{>=}{{$\geq$}}1
+%		{<>}{{$\neq$}}1
+%		{->}{{$\rightarrow$}}2
+%		{<-}{{$\leftarrow$}}1
+%		{=}{{$=$}}1
+%		{~}{{$\sim$}}1
+%		{\#}{{$\sharp$}}1
+%		{\{|}{{$\{\!|\!$}}1
+%		{|\}}{{$\!|\!\}$}}1
+%		{:=}{{$:=$}}2
+%		{==}{{$==$}}2
+%		{++}{{$+\!\!+$}}2
+%		{+++}{{$+\!\!\!\!+\!\!\!\!+$}}2
+%		{:==}{{$:==$}}3
 		{\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
 		%
 		% Basic iTask constructs
@@ -81,20 +85,22 @@
 		{.&&.}{{\texttt{.\&\&.}}}4
 }
 
+\newcommand{\CI}[1]{\lstinline[language=Clean]|#1|}
+
 \lstset{%
 	breakatwhitespace=false,         % sets if automatic breaks should only happen at whitespace
 	breaklines=true,                 % sets automatic line breaking
 	captionpos=b,                    % sets the caption-position to bottom
 	keepspaces=true,                 % keeps spaces in text, useful for keeping indentation of code (possibly needs columns=flexible)
-	basicstyle=\footnotesize,        % the size of the fonts that are used for the code
+	basicstyle=\ttfamily\footnotesize,        % the size of the fonts that are used for the code
 	commentstyle=\itshape,           % comment style
 	keywordstyle=\bfseries,          % keyword style
 	stringstyle=\ttfamily,           % string literal style
-	language=Clean,                  % the language of the code
 	showspaces=false,                % show spaces everywhere adding particular underscores; it overrides 'showstringspaces'
 	showstringspaces=false,          % underline spaces within strings only
 	showtabs=false,                  % show tabs within strings adding particular underscores
-	tabsize=4	                     % sets default tabsize to 2 spaces
+	tabsize=4,                       % sets default tabsize to 2 spaces
+	frame=L
 }
 
 \title{iTasks and the Internet of Things}