-\documentclass[a4paper]{book}
+\documentclass[twoside,a4paper,titlepage]{book}
-\usepackage[british]{babel}
\usepackage{geometry} % Papersize
+\usepackage[british]{babel} % Internationalization
\usepackage[titletoc]{appendix} % Appendices
-\usepackage{rutitlepage/rutitlepage} % Titlepage
\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
+\usepackage{textcomp} % Nice listings quotes
+\usepackage{pgf-umlsd} % Connection diagrams
+\usepackage{graphicx} % Graphics
+\usepackage{epstopdf} % Eps graphics
+\usepackage{todonotes} % Todo notes
+
+\usetikzlibrary{arrows,shadows}
\graphicspath{{img/}}
-\urlstyle{same}
+\urlstyle{tt}
\hypersetup{%
pdftitle={iTasks and the Internet of Things},
pdfauthor={Mart Lubbers},
\pdfstringdefDisableCommands{%
\def\acrlong#1{}%
+ \def\acrlongpl#1{}%
\def\acrshort#1{}%
\def\acrfull#1{}%
\def\gls#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]{/*}{*/},
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]|#1|}
+\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
- 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}