| changeset 46241 | 1a0b8f529b96 |
| parent 43528 | 35f74aafc878 |
| child 60584 | 6ac3172985d4 |
--- a/src/HOL/Tools/ATP/scripts/remote_atp Tue Jan 17 16:30:54 2012 +0100 +++ b/src/HOL/Tools/ATP/scripts/remote_atp Tue Jan 17 18:25:36 2012 +0100 @@ -92,6 +92,7 @@ # Query Server my $Agent = LWP::UserAgent->new; $Agent->env_proxy; +$Agent->agent("Sledgehammer"); if (exists($Options{'t'})) { # give server more time to respond $Agent->timeout($Options{'t'} + 15);