equal
deleted
inserted
replaced
10 use Getopt::Std; |
10 use Getopt::Std; |
11 use HTTP::Request::Common; |
11 use HTTP::Request::Common; |
12 use LWP; |
12 use LWP; |
13 |
13 |
14 my $SystemOnTPTPFormReplyURL = |
14 my $SystemOnTPTPFormReplyURL = |
15 "http://pages.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTPFormReply"; |
15 "http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTPFormReply"; |
16 |
16 |
17 # default parameters |
17 # default parameters |
18 my %URLParameters = ( |
18 my %URLParameters = ( |
19 "NoHTML" => 1, |
19 "NoHTML" => 1, |
20 "QuietFlag" => "-q01", |
20 "QuietFlag" => "-q01", |