--- a/src/HOL/Tools/SMT/lib/scripts/remote_smt	Tue Jan 17 16:30:54 2012 +0100
+++ b/src/HOL/Tools/SMT/lib/scripts/remote_smt	Tue Jan 17 18:25:36 2012 +0100
@@ -19,6 +19,7 @@
 # call solver
 
 my $agent = LWP::UserAgent->new;
+$agent->env_proxy;
 $agent->agent("SMT-Request");
 $agent->timeout(180);
 my $response = $agent->post($ENV{"ISABELLE_SMT_REMOTE_URL"}, [