X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.pre;h=5bce7f78bf71ecba17247d42aeee7bbd301042f8;hb=8c96bdcdd19c4c3cbe9f86357508f5efb7169cc5;hp=e41516c9ed1ed523e7cfa7360d6234efd3eaa14d;hpb=4ac8ff3216dd921df44fbed2ba7d4ad01ff7033d;p=msc-thesis1617.git

diff --git a/thesis.pre b/thesis.pre
index e41516c..5bce7f7 100644
--- a/thesis.pre
+++ b/thesis.pre
@@ -2,9 +2,9 @@
 
 \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,20 @@
 \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}
+
+\makeindex%
+
+\graphicspath{{img/}}
+
+\urlstyle{tt}
 \hypersetup{%
 	pdftitle={iTasks and the Internet of Things},
 	pdfauthor={Mart Lubbers},
@@ -24,10 +36,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 +60,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}