1.1 --- a/src/Doc/Sledgehammer/document/root.tex	Tue Dec 17 11:12:10 2013 +0100
     1.2 +++ b/src/Doc/Sledgehammer/document/root.tex	Tue Dec 17 14:03:29 2013 +0100
     1.3 @@ -960,6 +960,11 @@
     1.4  TPTP typed first-order format (TFF0). The remote version of SNARK runs on
     1.5  Geoff Sutcliffe's Miami servers.
     1.6  
     1.7 +\item[\labelitemi] \textbf{\textit{remote\_spass\_pirate}:} SPASS-Pirate is a
     1.8 +highly experimental first-order resolution prover developed by Daniel Wand.
     1.9 +The remote version of SPASS-Pirate run on a private server set up by Daniel
    1.10 +Wand.
    1.11 +
    1.12  \item[\labelitemi] \textbf{\textit{remote\_vampire}:} The remote version of
    1.13  Vampire runs on Geoff Sutcliffe's Miami servers.
    1.14