--- a/src/Doc/Sledgehammer/document/root.tex Sun Mar 14 20:29:26 2021 +0100
+++ b/src/Doc/Sledgehammer/document/root.tex Sun Mar 14 21:02:34 2021 +0100
@@ -217,19 +217,6 @@
fail to solve the easy goal presented there, something must be wrong with the
installation.
-Remote prover invocation 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, either
-in the environment in which Isabelle is launched or in your
-\texttt{\$ISABELLE\_HOME\_USER/etc/\allowbreak settings} file. Here are a few
-examples:
-
-\prew
-\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}
\label{first-steps}