--- a/src/HOL/Tools/etc/options Wed Jul 28 10:21:02 2021 +0200
+++ b/src/HOL/Tools/etc/options Wed Jul 28 14:16:19 2021 +0200
@@ -51,13 +51,13 @@
section "Mirabelle"
option mirabelle_timeout : real = 30
- -- "default timeout for Mirabelle actions"
+ -- "timeout in seconds for each action"
option mirabelle_stride : int = 1
- -- "default stride for running Mirabelle actions on every nth goal"
+ -- "run actions on every nth goal (0: uniform distribution)"
option mirabelle_max_calls : int = 0
- -- "default max. no. of calls to each Mirabelle action (0: unbounded)"
+ -- "max. no. of calls to each action (0: unbounded)"
option mirabelle_actions : string = ""
-- "Mirabelle actions (outer syntax, separated by semicolons)"