updated docs
Thu, 17 Jan 2013 14:06:14 +0100
changeset 50929 7f0bc95af61c
parent 50928 bf254bd30833
child 50933 e424e17ee420
updated docs
--- a/src/Doc/Sledgehammer/document/root.tex	Thu Jan 17 14:02:25 2013 +0100
+++ b/src/Doc/Sledgehammer/document/root.tex	Thu Jan 17 14:06:14 2013 +0100
@@ -12,7 +12,7 @@
@@ -865,6 +865,12 @@
 that contains the \texttt{emales.py} script. Sledgehammer has been tested with
 version 1.1.
+\item[\labelitemi] \textbf{\textit{e\_par}:} E-Par is a metaprover developed
+by Josef Urban that implements strategy scheduling on top of E. To use
+E-Par, set the environment variable \texttt{E\_HOME} to the directory
+that contains the \texttt{runepar.pl} script and the \texttt{eprover} and
+\texttt{epclextract} executables, or use the prebuilt E package from \download.
 \item[\labelitemi] \textbf{\textit{iprover}:} iProver is a pure
 instantiation-based prover developed by Konstantin Korovin \cite{korovin-2009}.
 To use iProver, set the environment variable \texttt{IPROVER\_HOME} to the