1.1 --- a/doc-src/Sledgehammer/sledgehammer.tex	Mon Sep 06 11:28:06 2010 +0200
     1.2 +++ b/doc-src/Sledgehammer/sledgehammer.tex	Mon Sep 06 11:53:42 2010 +0200
     1.3 @@ -161,12 +161,13 @@
     1.4  Remote ATP invocation via the SystemOnTPTP web service requires Perl with the
     1.5  World Wide Web Library (\texttt{libwww-perl}) installed. If you must use a proxy
     1.6  server to access the Internet, set the \texttt{http\_proxy} environment variable
     1.7 -to the proxy before launching Isabelle. Here are a few examples:
     1.8 +to the proxy, either in the environment in which Isabelle is launched or in your
     1.9 +\texttt{\char`\~/.isabelle/etc/settings} file. Here are a few examples:
    1.10  
    1.11  \prew
    1.12 -\texttt{export http\_proxy=http://proxy.example.org} \\
    1.13 -\texttt{export http\_proxy=http://proxy.example.org:8080} \\
    1.14 -\texttt{export http\_proxy=http://joeblow:pAsSwRd@proxy.example.org}
    1.15 +\texttt{http\_proxy=http://proxy.example.org} \\
    1.16 +\texttt{http\_proxy=http://proxy.example.org:8080} \\
    1.17 +\texttt{http\_proxy=http://joeblow:pAsSwRd@proxy.example.org}
    1.18  \postw
    1.19  
    1.20  \section{First Steps}