\documentclass[12pt,twoside,DIV=calc,usegeometry,index=totoc]{scrbook}


%\usepackage{showframe} % to show the page layout

\usepackage[utf8]{inputenc}

\usepackage{titlesec}

\usepackage{xspace}
\usepackage{microtype}

\usepackage[main=english,french]{babel}


\usepackage{amssymb,amsmath,amsthm}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}

\usepackage{url}
\usepackage{graphicx}

\usepackage{caption}
\usepackage{subcaption}

\usepackage{enumitem}

\usepackage{hyperref}

% bold math
\usepackage{bm}

\usepackage{booktabs}

\usepackage{adjustbox}
\usepackage{array}


\usepackage{verbatim}

\usepackage{listings}

\usepackage{multicol}


% stuff like \ding for symbols
\usepackage{pifont}

\usepackage[
  natbib=true,
  style=alphabetic,
  backref=true,
  doi=false,
  isbn=false,
  maxbibnames=99,
]{biblatex}
\addbibresource{ref.bib}

\usepackage{epsfig}
\usepackage{textpos}
\usepackage{ifthen}
\usepackage{makeidx}
\usepackage{babel}
\usepackage{float}
\usepackage{calc}
\usepackage{vmargin}
\usepackage{letterspace}
\usepackage[pass]{geometry}

\usepackage{eurosym}


\usepackage{bytefield}

\usepackage[binary-units,detect-weight=true,detect-family=true]{siunitx}

\usepackage[usenames,dvipsnames,svgnames,table]{xcolor}

\usepackage{qrcode}

\usepackage{cryptocode}

\usepackage{tikz}
\usetikzlibrary{shapes,arrows}
\usetikzlibrary{positioning}
\usetikzlibrary{calc}

\usepackage{mdframed}

\KOMAoption{titlepage}{firstiscover}
\KOMAoption{bibliography}{totocnumbered}

% Typography
\usepackage[sc,osf]{mathpazo}
\linespread{1.05}
\usepackage[scaled]{helvet} % ss
\usepackage{courier} % tt
\normalfont
\usepackage[T1]{fontenc}


\usepackage{pdfpages}

\author{Florian Dold}
\title{The GNU Taler System: Practical and Provably Secure Electronic Payments}

\begin{document}

\newcommand{\astfootnote}[1]{
\let\oldthefootnote=\thefootnote%
\setcounter{footnote}{0}%
\renewcommand{\thefootnote}{\fnsymbol{footnote}}%
\footnote{#1}%
\let\thefootnote=\oldthefootnote%
}


%\setlength{\parskip}{0.5ex plus 0.2ex minus 0.1ex}
\newif\ifrennesone

% Are we building the ugly UR1 cover page?
\rennesonetrue


\ifrennesone

\includepdf[pages={1},offset=2.55cm -2.55cm]{cover-ur1.pdf}
\includepdf[pages={2},offset=-2.55cm -2.55cm]{cover-ur1.pdf}
\includepdf[pages={3},offset=2.55cm -2.55cm]{cover-ur1.pdf}
\include{acknowledgements}

\else

\frontmatter
\include{titlepage-rennes}
\include{abstract}
\include{abstract-french}
\include{acknowledgements}

\fi

\tableofcontents
\listoffigures
\mainmatter


\include{introduction}
\include{taler/design}
\include{taler/security}
\include{taler/implementation}
\graphicspath{{consensus/}}
\include{consensus/chap}
\graphicspath{{/}}
\include{conclusions}

\printbibliography[heading=bibintoc]

\appendix

% FIXME: include the proper french summary
\include{summary-french}


\chapter[dold-draft-payto]{dold-draft-payto%
\astfootnote{%
The most recent version of the draft can be found at \url{https://datatracker.ietf.org/doc/draft-dold-payto/}.
}
}\label{appendix:payto}

{\small
\verbatiminput{draft-dold-payto.raw.txt}
}

\chapter{Coin Spending Simulation}\label{appendix:coinsim}
The most recent version of this TypeScript program can be found in the repository
of the wallet reference implementation (\url{https://git.taler.net/wallet-webex.git/tree/contrib/coinsim.ts}).

\lstinputlisting[basicstyle=\footnotesize]{coinsim.ts}

\end{document}