# HG changeset patch
# User blanchet
# Date 1283766822 -7200
# Node ID b1c2c03fd9d702a3f9640258dde2578d6abe726e
# Parent  f09b378cb2522086f006e6e8ca34e9e9efd1c05f
mention ~/.isabelle/etc/settings file

diff -r f09b378cb252 -r b1c2c03fd9d7 doc-src/Sledgehammer/sledgehammer.tex
--- a/doc-src/Sledgehammer/sledgehammer.tex	Mon Sep 06 11:28:06 2010 +0200
+++ b/doc-src/Sledgehammer/sledgehammer.tex	Mon Sep 06 11:53:42 2010 +0200
@@ -161,12 +161,13 @@
 Remote ATP invocation via the SystemOnTPTP web service requires Perl with the
 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:
+to the proxy, either in the environment in which Isabelle is launched or in your
+\texttt{\char`\~/.isabelle/etc/settings} file. 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}
+\texttt{http\_proxy=http://proxy.example.org} \\
+\texttt{http\_proxy=http://proxy.example.org:8080} \\
+\texttt{http\_proxy=http://joeblow:pAsSwRd@proxy.example.org}
 \postw
 
 \section{First Steps}