src/HOL/Mirabelle/lib/Tools/mirabelle

--- a/src/HOL/Mirabelle/lib/Tools/mirabelle	Tue Sep 29 20:08:08 2020 +0200
+++ b/src/HOL/Mirabelle/lib/Tools/mirabelle	Tue Sep 08 11:32:57 2020 +0200
@@ -21,6 +21,7 @@
 }
 
 function usage() {
+  # Do not forget to update the Sledgehammer documentation to reflect changes here.
   [ -n "$MIRABELLE_OUTPUT_PATH" ] && out="$MIRABELLE_OUTPUT_PATH" || out="None"
   timeout="$MIRABELLE_TIMEOUT"
   echo
@@ -35,8 +36,7 @@
   echo "    -q           be quiet (suppress output of Isabelle process)"
   echo "    -t TIMEOUT   timeout for each action in seconds (default $timeout)"
   echo
-  echo "  Apply the given actions (i.e., automated proof tools)"
-  echo "  at all proof steps in the given theory files."
+  echo "  Apply the given actions at all proof steps in the given theory files."
   echo
   echo "  ACTIONS is a colon-separated list of actions, where each action is"
   echo "  either NAME or NAME[OPTION,...,OPTION]. Available actions are:"