formatting and acknowledgements

[msc-thesis1617.git] / thesis.pre

diff --git a/thesis.pre b/thesis.pre
index 21bddc2..f785c55 100644 (file)
--- a/thesis.pre
+++ b/thesis.pre
@@ -1,19 +1,29 @@
-\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
 \usepackage{caption}                 % Captions
 \usepackage{subcaption}              % Subcaptions
 \usepackage{lipsum}                  % dummy text
-\usepackage{clean}                  % 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,6 +34,86 @@
        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,::},
+       sensitive=true,
+       morecomment=[l]{//},
+       morecomment=[n]{/*}{*/},
+       morestring=[b]",
+       morestring=[b]',
+       emptylines=1,
+       basewidth=0.45em,
+       columns=[c]fixed,
+       texcl=true,
+       upquote=true,
+       literate=%
+               % Basic Clean constructs
+               {\\}{{$\lambda\:$}}1
+               {A.}{{$\forall\;\,$}}1
+               {E.}{{$\exists\;\,$}}1
+               {*}{{$^*$}}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
+}
+
+\newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
+
+\lstset{%
+       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}
 \author{Mart Lubbers BSc.\\
        {\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}