correcting usage documentation in mirabelle tool
authorbulwahn
Mon Dec 06 10:52:48 2010 +0100 (2010-12-06)
changeset 409768df0a190df1e
parent 40975 498f272b4bcb
child 40984 ef119e33dc06
correcting usage documentation in mirabelle tool
src/HOL/Mirabelle/lib/Tools/mirabelle
     1.1 --- a/src/HOL/Mirabelle/lib/Tools/mirabelle	Mon Dec 06 10:52:46 2010 +0100
     1.2 +++ b/src/HOL/Mirabelle/lib/Tools/mirabelle	Mon Dec 06 10:52:48 2010 +0100
     1.3 @@ -22,7 +22,7 @@
     1.4    echo "Usage: isabelle $PRG [OPTIONS] ACTIONS FILES"
     1.5    echo
     1.6    echo "  Options are:"
     1.7 -  echo "    -L LOGIC     parent logic to use (default $ISABELLE_LOGIC)"
     1.8 +  echo "    -L LOGIC     parent logic to use (default $MIRABELLE_LOGIC)"
     1.9    echo "    -T THEORY    parent theory to use (default $MIRABELLE_THEORY)"
    1.10    echo "    -O DIR       output directory for test data (default $out)"
    1.11    echo "    -t TIMEOUT   timeout for each action in seconds (default $timeout)"