bin/isatool
changeset 2505 50abca9d4043
parent 2434 d3d42a2e7da2
child 2703 5ce1310560ff
equal deleted inserted replaced
2504:f5e2288c2697 2505:50abca9d4043
    46 }
    46 }
    47 
    47 
    48 
    48 
    49 ## main
    49 ## main
    50 
    50 
    51 [ $# -lt 1 ] && usage
    51 [ $# -lt 1 -o "$1" = "-?" ] && usage
    52 
    52 
    53 TOOL_BASE="$1"
    53 TOOL_BASE="$1"
    54 TOOL="$ISABELLE_HOME/lib/Tools/$1"
    54 TOOL="$ISABELLE_HOME/lib/Tools/$1"
    55 shift
    55 shift
    56 
    56