formatting and acknowledgements

[msc-thesis1617.git] / thesis.pre

diff --git a/thesis.pre b/thesis.pre
index e41516c..f785c55 100644 (file)
--- a/thesis.pre
+++ b/thesis.pre
@@ -1,10 +1,10 @@
-\documentclass[a4paper]{book}
+\documentclass[twoside,a4paper,titlepage]{book}
 
 \usepackage[british]{babel}
 
+\usepackage{makeidx}                 % Index
 \usepackage{geometry}                % Papersize
 \usepackage[titletoc]{appendix}      % Appendices
-\usepackage{rutitlepage/rutitlepage} % Titlepage
 \usepackage{hyperref}                % Hyperlinks
 \usepackage{booktabs}                % Better looking tables
 \usepackage{todonotes}               % Todo's
@@ -12,8 +12,18 @@
 \usepackage{subcaption}              % Subcaptions
 \usepackage{lipsum}                  % dummy text
 \usepackage{listings}                % source code
+\usepackage{float}                   % floating images
+\usepackage{lmodern}                 % Better teletype fonts
+\usepackage{textcomp}                % Nice listings quotes
+\usepackage{pgf-umlsd}               % Connection diagrams
+\usepackage{graphicx}                % Graphics
+\usepackage{epstopdf}                % Eps graphics
 
-\urlstyle{same}
+\usetikzlibrary{arrows,shadows}
+
+\graphicspath{{img/}}
+
+\urlstyle{tt}
 \hypersetup{%
        pdftitle={iTasks and the Internet of Things},
        pdfauthor={Mart Lubbers},
@@ -24,10 +34,21 @@
        hidelinks=true
 }
 
+\pdfstringdefDisableCommands{%
+       \def\acrlong#1{}%
+       \def\acrlongpl#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},
+       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]{/*}{*/},
@@ -37,55 +58,60 @@
        basewidth=0.45em,
        columns=[c]fixed,
        texcl=true,
+       upquote=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
+               {*}{{$^*$}}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
+%              {>||>}{{$\triangleright\triangleright$}}2
+%              {>>=}{{\texttt{>>=}}}3
+%              {>>|}{{\texttt{>>|}}}3
+%              {?>>}{{\texttt{?>>}}}3
+%              {!>>}{{\texttt{!>>}}}3
+%              {-||-}{{\texttt{-||-}}}4
+%              {.||.}{{\texttt{.||.}}}4
+%              {.&&.}{{\texttt{.\&\&.}}}4
 }
 
+\newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#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
-       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
+       breakatwhitespace=false,
+       breaklines=true,
+       captionpos=b,
+       keepspaces=true,
+       basicstyle=\ttfamily\fontseries{l}\footnotesize,
+       commentstyle=\itshape\fontseries{m},
+       keywordstyle=\bfseries\fontseries{b},
+       stringstyle=\ttfamily,
+       showspaces=false,
+       showstringspaces=false,
+       showtabs=false,
+       tabsize=4,
+       frame=L,
+       language=Clean
 }
 
 \title{iTasks and the Internet of Things}