big update

[msc-thesis1617.git] / thesis.pre

diff --git a/thesis.pre b/thesis.pre
index 948e7f0..ef1cc96 100644 (file)
--- a/thesis.pre
+++ b/thesis.pre
@@ -1,11 +1,20 @@
 \documentclass[a4paper]{book}
 
-\usepackage{geometry}
-\usepackage{rutitlepage/rutitlepage}
-\usepackage{hyperref}
+\usepackage[british]{babel}
+
+\usepackage{geometry}                % Papersize
+\usepackage[titletoc]{appendix}      % Appendices
+\usepackage{rutitlepage/rutitlepage} % Titlepage
+\usepackage{hyperref}                % Hyperlinks
+\usepackage{booktabs}                % Better looking tables
+\usepackage{todonotes}               % Todo's
+\usepackage{caption}                 % Captions
+\usepackage{subcaption}              % Subcaptions
+\usepackage{lipsum}                  % dummy text
+\usepackage{listings}                % source code
 
 \urlstyle{same}
-\hypersetup{
+\hypersetup{%
        pdftitle={iTasks and the Internet of Things},
        pdfauthor={Mart Lubbers},
        pdfsubject={iTasks and the Internet of Things},
@@ -14,9 +23,81 @@
        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{}%
+}
 
-\usepackage{todonotes}
+\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.\\{\small\url{mart@martlubbers.net}}}
+\author{Mart Lubbers BSc.\\
+       {\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}
 \date{\today}