bin/isatool
changeset 2505 50abca9d4043
parent 2434 d3d42a2e7da2
child 2703 5ce1310560ff
     1.1 --- a/bin/isatool	Mon Jan 13 09:29:55 1997 +0100
     1.2 +++ b/bin/isatool	Mon Jan 13 13:20:32 1997 +0100
     1.3 @@ -48,7 +48,7 @@
     1.4  
     1.5  ## main
     1.6  
     1.7 -[ $# -lt 1 ] && usage
     1.8 +[ $# -lt 1 -o "$1" = "-?" ] && usage
     1.9  
    1.10  TOOL_BASE="$1"
    1.11  TOOL="$ISABELLE_HOME/lib/Tools/$1"