# HG changeset patch # User blanchet # Date 1297352292 -3600 # Node ID f58d4d202924bf7f3c720c55a0ba62cca3dd2e32 # Parent e590971528b2d354c94ee72129a338fc0ad5eaa1 fix path to etc/settings and etc/components in doc diff -r e590971528b2 -r f58d4d202924 doc-src/Sledgehammer/sledgehammer.tex --- a/doc-src/Sledgehammer/sledgehammer.tex Thu Feb 10 16:15:43 2011 +0100 +++ b/doc-src/Sledgehammer/sledgehammer.tex Thu Feb 10 16:38:12 2011 +0100 @@ -143,7 +143,11 @@ \item[$\bullet$] Alternatively, you can download the Isabelle-aware E and SPASS binary packages from Isabelle's download page. Extract the archives, then add a -line to your \texttt{\char`\~/.isabelle/etc/components} file with the absolute +line to your \texttt{\$ISABELLE\_HOME\_USER/etc/components}% +\footnote{The variable \texttt{\$ISABELLE\_HOME\_USER} is set by Isabelle at +startup. Its value can be retrieved by invoking \texttt{isabelle} +\texttt{getenv} \texttt{ISABELLE\_HOME\_USER} on the command line.} +file with the absolute path to E or SPASS. For example, if the \texttt{components} does not exist yet and you extracted SPASS to \texttt{/usr/local/spass-3.7}, create the \texttt{components} file with the single line @@ -173,7 +177,7 @@ 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, either in the environment in which Isabelle is launched or in your -\texttt{\char`\~/.isabelle/etc/settings} file. Here are a few examples: +\texttt{\char`\~/\$ISABELLE\_HOME\_USER/etc/settings} file. Here are a few examples: \prew \texttt{http\_proxy=http://proxy.example.org} \\