1.1 --- a/src/HOL/Tools/ATP/scripts/remote_atp	Wed Jul 28 23:01:27 2010 +0200
     1.2 +++ b/src/HOL/Tools/ATP/scripts/remote_atp	Wed Jul 28 23:05:35 2010 +0200
     1.3 @@ -2,6 +2,7 @@
     1.4  #
     1.5  # Wrapper for custom remote provers on SystemOnTPTP
     1.6  # Author: Fabian Immler, TU Muenchen
     1.7 +# Author: Jasmin Blanchette, TU Muenchen
     1.8  #
     1.9  
    1.10  use warnings;
    1.11 @@ -28,14 +29,14 @@
    1.12  
    1.13  #----Usage
    1.14  sub usage() {
    1.15 -  print("Usage: remote_atp [<options>] <File name>\n");
    1.16 -  print("    <options> are ...\n");
    1.17 -  print("    -h            - print this help\n");
    1.18 -  print("    -w            - list available ATP systems\n");
    1.19 -  print("    -s<system>    - specified system to use\n");
    1.20 -  print("    -t<timelimit> - CPU time limit for system\n");
    1.21 -  print("    -c<command>   - custom command for system\n");
    1.22 -  print("    <File name>   - TPTP problem file\n");
    1.23 +  print("Usage: remote_atp [<options>] <file_name>\n");
    1.24 +  print("Options:\n");
    1.25 +  print("    -h              print this help\n");
    1.26 +  print("    -w              list available ATPs\n");
    1.27 +  print("    -s<system>      ATP to use\n");
    1.28 +  print("    -t<time_limit>  CPU time limit for ATP\n");
    1.29 +  print("    -c<command>     custom ATP invocation command\n");
    1.30 +  print("    <file_name>     TPTP problem file\n");
    1.31    exit(0);
    1.32  }
    1.33  if (exists($Options{'h'})) {