src/HOL/Tools/ATP_Manager/SystemOnTPTP
changeset 32433 711d680eab26
parent 32327 0971cc0b6a57
child 36287 96f45c5ffb36
equal deleted inserted replaced
32425:7b32a4e08182 32433:711d680eab26
    17 my %URLParameters = (
    17 my %URLParameters = (
    18     "NoHTML" => 1,
    18     "NoHTML" => 1,
    19     "QuietFlag" => "-q01",
    19     "QuietFlag" => "-q01",
    20     "SubmitButton" => "RunSelectedSystems",
    20     "SubmitButton" => "RunSelectedSystems",
    21     "ProblemSource" => "UPLOAD",
    21     "ProblemSource" => "UPLOAD",
       
    22     "ForceSystem" => "-force",
    22     );
    23     );
    23 
    24 
    24 #----Get format and transform options if specified
    25 #----Get format and transform options if specified
    25 my %Options;
    26 my %Options;
    26 getopts("hwxs:t:c:",\%Options);
    27 getopts("hwxs:t:c:",\%Options);