X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.pre;h=ef1cc96a3a1ea657c55d9e5ef381716534dd25cc;hb=9d439043f4f619a45b444c6d2de05b34eb879b79;hp=fbecc6cc5ecef9777ef09bacd65b3b33741dffa2;hpb=6ee111e09a76e74ba5d55492df62702a364216fd;p=msc-thesis1617.git

diff --git a/thesis.pre b/thesis.pre
index fbecc6c..ef1cc96 100644
--- a/thesis.pre
+++ b/thesis.pre
@@ -10,6 +10,8 @@
 \usepackage{todonotes}               % Todo's
 \usepackage{caption}                 % Captions
 \usepackage{subcaption}              % Subcaptions
+\usepackage{lipsum}                  % dummy text
+\usepackage{listings}                % source code
 
 \urlstyle{same}
 \hypersetup{%
@@ -21,6 +23,79 @@
 	pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
 	hidelinks=true
 }
+\pdfstringdefDisableCommands{%
+	\def\acrlong#1{}%
+	\def\acrshort#1{}%
+	\def\acrfull#1{}%
+	\def\gls#1{}%
+	\def\glspl#1{}%
+	\def\Gls#1{}%
+	\def\Glspl#1{}%
+}
+
+\lstdefinelanguage{Clean}{%
+	alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
+	alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
+	morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive},
+	sensitive=true,
+	morecomment=[l]{//},
+	morecomment=[n]{/*}{*/},
+	morestring=[b]",
+	morestring=[b]',
+	emptylines=1,
+	basewidth=0.45em,
+	columns=[c]fixed,
+	texcl=true,
+	literate=%
+		% Basic Clean constructs
+		{\\}{{$\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
+		{\{|*|\}}{{$\{\!|\!\!\star\!\!|\!\}$}}3
+		%
+		% Basic iTask constructs
+		{>||>}{{$\triangleright\triangleright$}}2
+		{>>=}{{\texttt{>>=}}}3
+		{>>|}{{\texttt{>>|}}}3
+		{?>>}{{\texttt{?>>}}}3
+		{!>>}{{\texttt{!>>}}}3
+		{-||-}{{\texttt{-||-}}}4
+		{.||.}{{\texttt{.||.}}}4
+		{.&&.}{{\texttt{.\&\&.}}}4
+}
+
+\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
+	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
+}
 
 \title{iTasks and the Internet of Things}
 \author{Mart Lubbers BSc.\\