--- a/doc-src/Sledgehammer/sledgehammer.tex Sun Sep 05 21:39:30 2010 +0200
+++ b/doc-src/Sledgehammer/sledgehammer.tex Mon Sep 06 11:28:06 2010 +0200
@@ -159,7 +159,15 @@
\S\ref{first-steps}.
Remote ATP invocation via the SystemOnTPTP web service requires Perl with the
-World Wide Web Library (\texttt{libwww-perl}) installed.
+World Wide Web Library (\texttt{libwww-perl}) installed. If you must use a proxy
+server to access the Internet, set the \texttt{http\_proxy} environment variable
+to the proxy before launching Isabelle. Here are a few examples:
+
+\prew
+\texttt{export http\_proxy=http://proxy.example.org} \\
+\texttt{export http\_proxy=http://proxy.example.org:8080} \\
+\texttt{export http\_proxy=http://joeblow:pAsSwRd@proxy.example.org}
+\postw
\section{First Steps}
\label{first-steps}