# HG changeset patch
# User blanchet
# Date 1300985819 -3600
# Node ID f55562e77d5cbb32a52ee630eb5550bfcec7ec09
# Parent  a6725f293377fb89099c44354f475addd945f6ef
add "-?" to "nitrox" tool

diff -r a6725f293377 -r f55562e77d5c src/HOL/Tools/Nitpick/lib/Tools/nitrox
--- a/src/HOL/Tools/Nitpick/lib/Tools/nitrox	Thu Mar 24 17:49:27 2011 +0100
+++ b/src/HOL/Tools/Nitpick/lib/Tools/nitrox	Thu Mar 24 17:56:59 2011 +0100
@@ -16,6 +16,8 @@
   exit 1
 }
 
+[ "$#" -eq 0 -o "$1" = "-?" ] && usage
+
 for FILE in "$@"
 do
   (echo "theory Nitrox_Run imports Main begin" &&