equal
deleted
inserted
replaced
28 val nitpick_paramsN = "nitpick_params" |
28 val nitpick_paramsN = "nitpick_params" |
29 |
29 |
30 (* Maximum number of scopes for Auto Nitpick. Be frugal since it has to share |
30 (* Maximum number of scopes for Auto Nitpick. Be frugal since it has to share |
31 its time slot with several other automatic tools. *) |
31 its time slot with several other automatic tools. *) |
32 val auto_try_max_scopes = 6 |
32 val auto_try_max_scopes = 6 |
33 |
|
34 val _ = |
|
35 ProofGeneral.preference_option ProofGeneral.category_tracing |
|
36 NONE |
|
37 @{system_option auto_nitpick} |
|
38 "auto-nitpick" |
|
39 "Run Nitpick automatically" |
|
40 |
33 |
41 type raw_param = string * string list |
34 type raw_param = string * string list |
42 |
35 |
43 val default_default_params = |
36 val default_default_params = |
44 [("card", "1\<emdash>10"), |
37 [("card", "1\<emdash>10"), |