equal
deleted
inserted
replaced
34 (* Maximum number of scopes for Auto Nitpick. Be frugal since it has to share |
34 (* Maximum number of scopes for Auto Nitpick. Be frugal since it has to share |
35 its time slot with several other automatic tools. *) |
35 its time slot with several other automatic tools. *) |
36 val auto_try_max_scopes = 6 |
36 val auto_try_max_scopes = 6 |
37 |
37 |
38 val _ = |
38 val _ = |
39 ProofGeneralPgip.add_preference Preferences.category_tracing |
39 ProofGeneral.add_preference Preferences.category_tracing |
40 (Preferences.bool_pref auto "auto-nitpick" "Run Nitpick automatically.") |
40 (Preferences.bool_pref auto "auto-nitpick" "Run Nitpick automatically.") |
41 |
41 |
42 type raw_param = string * string list |
42 type raw_param = string * string list |
43 |
43 |
44 val default_default_params = |
44 val default_default_params = |