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

diff --git a/thesis.pre b/thesis.pre
index 7e46909..f785c55 100644
--- 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
@@ -16,6 +16,8 @@
 \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}
 
@@ -62,6 +64,7 @@
 		{\\}{{$\lambda\:$}}1
 		{A.}{{$\forall\;\,$}}1
 		{E.}{{$\exists\;\,$}}1
+		{*}{{$^*$}}1
 %		{>}{{$>$}}1
 %		{<}{{$<$}}1
 %		{<=}{{$\leq$}}1
@@ -95,19 +98,20 @@
 \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=\ttfamily\fontseries{l}\footnotesize,% the size of the fonts that are used for the code
-	commentstyle=\itshape\fontseries{m},            % comment style
-	keywordstyle=\bfseries\fontseries{b},           % keyword style
-	stringstyle=\ttfamily,                          % string literal style
-	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
-	frame=L
+	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}