X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.pre;h=f785c55c95f7f81a90e3b0628691882b2f507d86;hb=0810fd13a4d0701b7191ac4195ae933c4caa3e6d;hp=f0acd01236fb7a9fecaef06f9c0502d4f3c5a785;hpb=0dd82c0183888f46ac4eb4f66380356b1aa5eb4d;p=msc-thesis1617.git

diff --git a/thesis.pre b/thesis.pre
index f0acd01..f785c55 100644
--- a/thesis.pre
+++ b/thesis.pre
@@ -1,7 +1,120 @@
-\documentclass[a4paper]{book}
+\documentclass[twoside,a4paper,titlepage]{book}
 
-\usepackage{geometry}
+\usepackage[british]{babel}
 
-\title{...}
-\author{Mart Lubbers BSc.}
+\usepackage{makeidx}                 % Index
+\usepackage{geometry}                % Papersize
+\usepackage[titletoc]{appendix}      % Appendices
+\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
+\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
+
+\usetikzlibrary{arrows,shadows}
+
+\graphicspath{{img/}}
+
+\urlstyle{tt}
+\hypersetup{%
+	pdftitle={iTasks and the Internet of Things},
+	pdfauthor={Mart Lubbers},
+	pdfsubject={iTasks and the Internet of Things},
+	pdfcreator={Mart Lubbers},
+	pdfproducer={Mart Lubbers},
+	pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
+	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}}}
 \date{\today}