diff -r 57bf0cecb366 -r 1257c80988cd src/HOL/Mirabelle/lib/Tools/mirabelle
--- a/src/HOL/Mirabelle/lib/Tools/mirabelle	Tue Mar 06 17:01:37 2012 +0000
+++ b/src/HOL/Mirabelle/lib/Tools/mirabelle	Wed Mar 07 13:00:30 2012 +0000
@@ -26,7 +26,7 @@
   echo "    -T THEORY    parent theory to use (default $MIRABELLE_THEORY)"
   echo "    -O DIR       output directory for test data (default $out)"
   echo "    -t TIMEOUT   timeout for each action in seconds (default $timeout)"
-  echo "    -q           be quiet (suppress output of Isabelle process)" 
+  echo "    -q           be quiet (suppress output of Isabelle process)"
   echo
   echo "  Apply the given actions (i.e., automated proof tools)"
   echo "  at all proof steps in the given theory files."