| changeset 52645 | e8c1c5612677 |
| parent 52644 | cea207576f81 |
| child 52647 | 45ce95b8bf69 |
| 52644:cea207576f81 | 52645:e8c1c5612677 |
|---|---|
29 |
29 |
30 (* preferences *) |
30 (* preferences *) |
31 |
31 |
32 val _ = |
32 val _ = |
33 ProofGeneral.preference_option ProofGeneral.category_tracing |
33 ProofGeneral.preference_option ProofGeneral.category_tracing |
34 NONE |
34 (SOME "4.0") |
35 @{option auto_time_limit} |
35 @{option auto_time_limit} |
36 "auto-try-time-limit" |
36 "auto-try-time-limit" |
37 "Time limit for automatically tried tools (in seconds)" |
37 "Time limit for automatically tried tools (in seconds)" |
38 |
38 |
39 |
39 |