src/Doc/Sledgehammer/document/root.tex
changeset 57636 3ab503b04bdb
parent 57566 0fb191472e4a
child 57659 b246943b3aa3
     1.1 --- a/src/Doc/Sledgehammer/document/root.tex	Thu Jul 24 00:24:00 2014 +0200
     1.2 +++ b/src/Doc/Sledgehammer/document/root.tex	Thu Jul 24 00:24:00 2014 +0200
     1.3 @@ -201,7 +201,7 @@
     1.4  for Alt-Ergo, set the
     1.5  environment variable \texttt{WHY3\_HOME} to the directory that contains the
     1.6  \texttt{why3} executable.
     1.7 -Sledgehammer has been tested with AgsyHOL 1.0, Alt-Ergo 0.95.2, E 1.0 to 1.8,
     1.8 +Sledgehammer has been tested with AgsyHOL 1.0, Alt-Ergo 0.95.2, E 1.6 to 1.8,
     1.9  LEO-II 1.3.4, Satallax 2.2 to 2.7, SPASS 3.8ds, and Vampire 0.6 to 3.0.%
    1.10  \footnote{Following the rewrite of Vampire, the counter for version numbers was
    1.11  reset to 0; hence the (new) Vampire versions 0.6, 1.0, 1.8, 2.6, and 3.0 are more
    1.12 @@ -837,7 +837,7 @@
    1.13  variable \texttt{E\_HOME} to the directory that contains the \texttt{eproof}
    1.14  executable and \texttt{E\_VERSION} to the version number (e.g., ``1.8''), or
    1.15  install the prebuilt E package from \download. Sledgehammer has been tested with
    1.16 -versions 1.0 to 1.8.
    1.17 +versions 1.6 to 1.8.
    1.18  
    1.19  \item[\labelitemi] \textbf{\textit{e\_males}:} E-MaLeS is a metaprover developed
    1.20  by Daniel K\"uhlwein that implements strategy scheduling on top of E. To use