fix spelling issues

doc/audit/response-202005.tex

@@ -120,7 +120,7 @@ Also, we want to point out that all global variables we introduce
 in the exchange are indicated with a prefix {\tt TEH\_} in the code, so they
 are easy to identify as such.
 
-\subsection{Callbacks, type p(r)unning}
+\subsection{Callbacks, type pruning}
 
 We understand that higher order functions in C can be confusing, but this
 is also a common pattern to enable code re-use and asynchronous execution

doc/system/conclusions.tex

@@ -93,25 +93,6 @@ online, as the discretion of parents.
 % https://www.bis.org/publ/qtrpdf/r_qt1709f.pdf
 % http://andolfatto.blogspot.com/2015/02/fedcoin-on-desirability-of-government.html
 
-% mention eKrona/Riksbank
-
-% bessere ueberleitung
-% effizienz!
-% freie software / commons
-% scalability of blockchains
-% expand on some ideas such as naiveity of blockchains
-% 3 areas for currencies
-
-
-% einleitung: we introduced two systems that solve/address core problems for
-% banking (consensus, transactions, ...) "geld ist kein selbstzweck"
-% reason for having money is: ...
-
-% central banks are the only tool that we know that works
-
-% geld ist politisch, macht, verantwortung, gesellschaften aufbauen oder ruinieren
-% apolitical solution impossible
-
 This book presented GNU Taler, an efficient protocol for
 value-based electronic payment systems with focus on security and
 privacy.  While we believe our approach to be socially and economically beneficial, a
@@ -244,4 +225,3 @@ continuous political debate and cannot be ``solved'' by simplistic algorithms.
 What we offer to society is an open and free (as in free speech) system with
 mechanisms to audit merchants' income, instead of proprietary systems
 controlled by a few oligopoly companies.
-

doc/system/taler/design.tex

@@ -962,14 +962,14 @@ Tracz \cite{tracz2001fair} % HINDE
 &  \NO & \YES & ?
 & \NO
 &  \YES & $\log n$ & $\log n$
-&  Onl. & \NO
+&  Online & \NO
 \\
 Compact \cite{camenisch2005compact}
 & 2005 & \NO
 &  \YES & \NO & ?
 &  ?
 &  \YES & $\log n$ & $n$ % We're guessing trustless anonymity because not trusted setup
-& Off. & \NO
+& Offline & \NO
 % \\
 % Martens \cite{maertens2015}
 % & 2015 & \NO
@@ -984,7 +984,7 @@ Divisible \cite{pointcheval2017cut}
 &  \YES & \NO & ?
 & ?
 &  \NO & $1$ & $n$
-& Off. & \NO
+& Offline & \NO
 \\
 GNU Taler
 & 2017 & FS
@@ -992,7 +992,7 @@ GNU Taler
 &  \YES
 % &  $\log n$ & $\log n$
 &  \YES & $\log n$ & $\log n$
-&  Onl. & \YES
+&  Online & \YES
 \\ \hline
 \end{tabular}
 }