# HG changeset patch
# User blanchet
# Date 1305793453 -7200
# Node ID 94c69e4414400645cf7253d976339b26fb89a3bb
# Parent  f133c030856a2e066ef7a9c3534147595509b195
mention version 0.6 of Vampire, since that's what's currently available for download

diff -r f133c030856a -r 94c69e441440 doc-src/Sledgehammer/sledgehammer.tex
--- a/doc-src/Sledgehammer/sledgehammer.tex	Thu May 19 10:24:13 2011 +0200
+++ b/doc-src/Sledgehammer/sledgehammer.tex	Thu May 19 10:24:13 2011 +0200
@@ -169,9 +169,10 @@
 set the environment variable \texttt{E\_HOME}, \texttt{SPASS\_HOME}, or
 \texttt{VAMPIRE\_HOME} to the directory that contains the \texttt{eproof},
 \texttt{SPASS}, or \texttt{vampire} executable. Sledgehammer has been tested
-with E 1.0 and 1.2, SPASS 3.5 and 3.7, and Vampire 1.0%
+with E 1.0 and 1.2, SPASS 3.5 and 3.7, and Vampire 0.6 and 1.0%
 \footnote{Following the rewrite of Vampire, the counter for version numbers was
-reset to 0; hence the new Vampire 1.0 is more recent than Vampire 11.5.}%
+reset to 0; hence the (new) Vampire versions 0.6 and 1.0 are more recent than,
+say, Vampire 11.5.}%
 . Since the ATPs' output formats are neither documented nor stable, other
 versions of the ATPs might or might not work well with Sledgehammer. Ideally,
 also set \texttt{E\_VERSION}, \texttt{SPASS\_VERSION}, or