thesis.pre

   1 \documentclass[twoside,a4paper,titlepage]{book}
   2
   3 \usepackage{geometry}                % Papersize
   4 \usepackage[british]{babel}          % Internationalization
   5 \usepackage[titletoc]{appendix}      % Appendices
   6 \usepackage{hyperref}                % Hyperlinks
   7 \usepackage{booktabs}                % Better looking tables
   8 \usepackage{caption}                 % Captions
   9 \usepackage{subcaption}              % Subcaptions
  10 \usepackage{listings}                % source code
  11 \usepackage{float}                   % floating images
  12 \usepackage{lmodern}                 % Better teletype fonts
  13 \usepackage{textcomp}                % Nice listings quotes
  14 \usepackage{pgf-umlsd}               % Connection diagrams
  15 \usepackage{graphicx}                % Graphics
  16 \usepackage{epstopdf}                % Eps graphics
  17 \usepackage{etoolbox}                % Patch chapter command
  18
  19 % Fix fonts
  20 \normalfont
  21 \DeclareFontShape{OT1}{lmr}{bx}{sc} { <-> ssub * lmr/bx/n }{}
  22
  23 % Have better page numbering in chapters
  24 \patchcmd{\chapter}{plain}{headings}{}{}
  25
  26 % Arrows for communication diagrams
  27 \usetikzlibrary{arrows,shadows}
  28
  29 % Images directory
  30 \graphicspath{{img/}}
  31
  32 % Fix list of listings title
  33 \renewcommand{\lstlistlistingname}{List of Listings}
  34
  35 % Fix list of listings chapter separator
  36 \makeatletter
  37 \let\my@chapter\@chapter
  38 \renewcommand*{\@chapter}{%
  39   \addtocontents{lol}{\protect\addvspace{10pt}}%
  40   \my@chapter}
  41 \makeatother
  42
  43 % Always have url in teletype
  44 \urlstyle{tt}
  45
  46 % Setup pdf parameters
  47 \hypersetup{%
  48         pdftitle={Task Oriented Programming and the Internet of Things},
  49         pdfauthor={Mart Lubbers},
  50         pdfsubject={Task Oriented Programming and the Internet of Things},
  51         pdfcreator={Mart Lubbers},
  52         pdfproducer={Mart Lubbers},
  53         pdfkeywords={TOP,iTasks,Clean,Function Programming,IoT},
  54         hidelinks=true
  55 }
  56
  57 % Fix gls in hyperlink errors
  58 \pdfstringdefDisableCommands{%
  59         \def\acrlong#1{}%
  60         \def\acrlongpl#1{}%
  61         \def\acrshort#1{}%
  62         \def\acrfull#1{}%
  63         \def\gls#1{}%
  64         \def\glspl#1{}%
  65         \def\Gls#1{}%
  66         \def\Glspl#1{}%
  67 }
  68
  69 % Clean language spec for listings
  70 \lstdefinelanguage{Clean}{%
  71         alsoletter={ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_`1234567890},
  72         alsoletter={~!@\#$\%^\&*-+=?<>:|\\.},
  73         morekeywords={generic,implementation,definition,dynamic,module,import,from,where,in,of,case,let,infix,infixr,infixl,class,instance,with,if,derive,::},
  74         sensitive=true,
  75         morecomment=[l]{//},
  76         morecomment=[n]{/*}{*/},
  77         morestring=[b]",
  78         morestring=[b]',
  79         emptylines=1,
  80         basewidth=0.45em,
  81         columns=[c]fixed,
  82         texcl=true,
  83         upquote=true,
  84         literate=%
  85                 % Basic Clean constructs
  86                 {\\}{{$\lambda\:$}}1
  87                 {A.}{{$\forall\;\,$}}1
  88                 {E.}{{$\exists\;\,$}}1
  89                 {*}{{$^*$}}1
  90 }
  91
  92 % Handy shortcut for inline Clean code
  93 \newcommand{\CI}[1]{\lstinline[language=Clean,basicstyle=\ttfamily\fontseries{l}\normalsize]|#1|}
  94
  95 % General listings settings
  96 \lstset{%
  97         breakatwhitespace=false,
  98         breaklines=true,
  99         captionpos=b,
 100         keepspaces=true,
 101         basicstyle=\ttfamily\fontseries{l}\footnotesize,
 102         commentstyle=\slshape\fontseries{m},
 103         keywordstyle=\bfseries\fontseries{b},
 104         stringstyle=\ttfamily,
 105         showspaces=false,
 106         showstringspaces=false,
 107         showtabs=false,
 108         tabsize=4,
 109         frame=L,
 110         language=Clean
 111 }
 112
 113 % Increase the depth for the table of contenst
 114 \setcounter{secnumdepth}{3}
 115
 116 % Document info
 117 \title{Task Oriented Programming and the Internet of Things}
 118 \author{Mart Lubbers BSc.\\
 119         {\small\href{mailto:mart@martlubbers.net}{mart@martlubbers.net}}}
 120 \date{\today}