bin/isabelle
changeset 48858 86816c61b5ca
parent 42124 7519c7c33017
child 62829 4141c2a8458b
equal deleted inserted replaced
48857:9032f4bdf205 48858:86816c61b5ca
    25   echo
    25   echo
    26   echo "Usage: $PRG NAME [ARGS ...]"
    26   echo "Usage: $PRG NAME [ARGS ...]"
    27   echo
    27   echo
    28   echo "  Start Isabelle tool NAME with ARGS; pass \"-?\" for tool specific help."
    28   echo "  Start Isabelle tool NAME with ARGS; pass \"-?\" for tool specific help."
    29   echo
    29   echo
    30   echo "  Available tools are:"
    30   echo "Available tools:"
    31   perl -w "$ISABELLE_HOME/lib/scripts/tools.pl"
    31   perl -w "$ISABELLE_HOME/lib/scripts/tools.pl"
    32   exit 1
    32   exit 1
    33 }
    33 }
    34 
    34 
    35 function fail()
    35 function fail()