X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.pre;h=d36c6e5f259920175f5213965ef8001eb5b7225d;hb=7e2e068caf02d8eae46cddc12ed36445069e67d1;hp=3a863bdda9ac17c5d3478c09592b6dfab171a6bf;hpb=a182f0a12fdb361d341337ce8240cbcd6ca96ebc;p=msc-thesis1617.git

diff --git a/thesis.pre b/thesis.pre
index 3a863bd..d36c6e5 100644
--- a/thesis.pre
+++ b/thesis.pre
@@ -1,6 +1,5 @@
 \documentclass[twoside,a4paper,titlepage]{book}
 
-
 \usepackage{geometry}                % Papersize
 \usepackage[british]{babel}          % Internationalization
 \usepackage[titletoc]{appendix}      % Appendices
@@ -15,23 +14,48 @@
 \usepackage{pgf-umlsd}               % Connection diagrams
 \usepackage{graphicx}                % Graphics
 \usepackage{epstopdf}                % Eps graphics
-\usepackage{todonotes}               % Todo notes
+\usepackage{etoolbox}                % Patch chapter command
+\usepackage[nodayofweek]{datetime}   % Use a fixed document date
+
+% Fix fonts
+\normalfont
+\DeclareFontShape{OT1}{lmr}{bx}{sc} { <-> ssub * lmr/bx/n }{}
 
+% Have better page numbering in chapters
+\patchcmd{\chapter}{plain}{headings}{}{}
+
+% Arrows for communication diagrams
 \usetikzlibrary{arrows,shadows}
 
+% Images directory
 \graphicspath{{img/}}
 
+% Fix list of listings title
+\renewcommand{\lstlistlistingname}{List of Listings}
+
+% Fix list of listings chapter separator
+\makeatletter
+\let\my@chapter\@chapter
+\renewcommand*{\@chapter}{%
+  \addtocontents{lol}{\protect\addvspace{10pt}}%
+  \my@chapter}
+\makeatother
+
+% Always have url in teletype
 \urlstyle{tt}
+
+% Setup pdf parameters
 \hypersetup{%
-	pdftitle={iTasks and the Internet of Things},
+	pdftitle={Task Oriented Programming and the Internet of Things},
 	pdfauthor={Mart Lubbers},
-	pdfsubject={iTasks and the Internet of Things},
+	pdfsubject={Task Oriented Programming and the Internet of Things},
 	pdfcreator={Mart Lubbers},
 	pdfproducer={Mart Lubbers},
 	pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
 	hidelinks=true
 }
 
+% Fix gls in hyperlink errors
 \pdfstringdefDisableCommands{%
 	\def\acrlong#1{}%
 	\def\acrlongpl#1{}%
@@ -43,6 +67,7 @@
 	\def\Glspl#1{}%
 }
 
+% Clean language spec for listings
 \lstdefinelanguage{Clean}{%
 	alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
 	alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
@@ -63,45 +88,19 @@
 		{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
 }
 
+% Handy shortcut for inline Clean code
 \newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
 
+% General listings settings
 \lstset{%
 	breakatwhitespace=false,
 	breaklines=true,
 	captionpos=b,
 	keepspaces=true,
 	basicstyle=\ttfamily\fontseries{l}\footnotesize,
-	commentstyle=\itshape\fontseries{m},
+	commentstyle=\slshape\fontseries{m},
 	keywordstyle=\bfseries\fontseries{b},
 	stringstyle=\ttfamily,
 	showspaces=false,
@@ -112,7 +111,11 @@
 	language=Clean
 }
 
-\title{iTasks and the Internet of Things}
+% Increase the depth for the table of contenst
+\setcounter{secnumdepth}{3}
+
+% Document info
+\title{Task Oriented Programming and the Internet of Things}
 \author{Mart Lubbers BSc.\\
 	{\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}
-\date{\today}
+\date{\formatdate{10}{7}{2017}}