X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.pre;h=e7fef0f96f6d6f5e6c03dcbb9682368dd2abf2e1;hb=HEAD;hp=f785c55c95f7f81a90e3b0628691882b2f507d86;hpb=0810fd13a4d0701b7191ac4195ae933c4caa3e6d;p=msc-thesis1617.git diff --git a/thesis.pre b/thesis.pre index f785c55..e7fef0f 100644 --- a/thesis.pre +++ b/thesis.pre @@ -1,16 +1,12 @@ \documentclass[twoside,a4paper,titlepage]{book} -\usepackage[british]{babel} - -\usepackage{makeidx} % Index \usepackage{geometry} % Papersize +\usepackage[british]{babel} % Internationalization \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 @@ -18,22 +14,48 @@ \usepackage{pgf-umlsd} % Connection diagrams \usepackage{graphicx} % Graphics \usepackage{epstopdf} % Eps graphics +\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{}% @@ -45,6 +67,7 @@ \def\Glspl#1{}% } +% Clean language spec for listings \lstdefinelanguage{Clean}{% alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890}, alsoletter={~!@\#$\%^\&*-+=?<>:|\\.}, @@ -65,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, @@ -111,10 +108,13 @@ showtabs=false, tabsize=4, frame=L, - 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}}