# HG changeset patch
# User blanchet
# Date 1376382589 -7200
# Node ID 9a47c82560549c6a3b56755f5878732e644333df
# Parent  ab98feb666841a44057261713ac0171953335463
updated Vampire version numbers

diff -r ab98feb66684 -r 9a47c8256054 src/Doc/Sledgehammer/document/root.tex
--- a/src/Doc/Sledgehammer/document/root.tex	Tue Aug 13 10:26:56 2013 +0200
+++ b/src/Doc/Sledgehammer/document/root.tex	Tue Aug 13 10:29:49 2013 +0200
@@ -210,9 +210,9 @@
 environment variable \texttt{WHY3\_HOME} to the directory that contains the
 \texttt{why3} executable.
 Sledgehammer has been tested with agsyHOL 1.0, Alt-Ergo 0.95.1, E 1.0 to 1.8,
-LEO-II 1.3.4, Satallax 2.2 to 2.7, SPASS 3.8ds, and Vampire 0.6 to 2.6.%
+LEO-II 1.3.4, Satallax 2.2 to 2.7, SPASS 3.8ds, and Vampire 0.6 to 3.0.%
 \footnote{Following the rewrite of Vampire, the counter for version numbers was
-reset to 0; hence the (new) Vampire versions 0.6, 1.0, 1.8, and 2.6 are more
+reset to 0; hence the (new) Vampire versions 0.6, 1.0, 1.8, 2.6, and 3.0 are more
 recent than 9.0 or 11.5.}%
 Since the ATPs' output formats are neither documented nor stable, other
 versions might not work well with Sledgehammer. Ideally,
@@ -928,9 +928,8 @@
 \cite{riazanov-voronkov-2002}. To use Vampire, set the environment variable
 \texttt{VAMPIRE\_HOME} to the directory that contains the \texttt{vampire}
 executable and \texttt{VAMPIRE\_VERSION} to the version number (e.g.,
-``1.8rev1435'', ``2.6''). Sledgehammer has been tested with versions 0.6, 1.0,
-and 1.8. Versions strictly above 1.8 (e.g., ``1.8rev1435'') support the TPTP
-typed first-order format (TFF0).
+``2.6''). Sledgehammer has been tested with versions 0.6 to 3.0.
+Versions strictly above 1.8 support the TPTP typed first-order format (TFF0).
 
 \item[\labelitemi] \textbf{\textit{yices}:} Yices is an SMT solver developed at
 SRI \cite{yices}. To use Yices, set the environment variable