equal
deleted
inserted
replaced
119 Toplevel.timing |
119 Toplevel.timing |
120 "global-timing" |
120 "global-timing" |
121 "Whether to enable timing in Isabelle"; |
121 "Whether to enable timing in Isabelle"; |
122 |
122 |
123 val _ = |
123 val _ = |
124 ProofGeneral.preference_bool ProofGeneral.category_tracing |
124 ProofGeneral.preference_option ProofGeneral.category_tracing |
125 NONE |
125 NONE |
126 Toplevel.debug |
126 @{option exception_trace} |
127 "debugging" |
127 "debugging" |
128 "Whether to enable debugging"; |
128 "Whether to enable exception trace for toplevel command execution"; |
129 |
129 |
130 val _ = |
130 val _ = |
131 ProofGeneral.preference_bool ProofGeneral.category_tracing |
131 ProofGeneral.preference_bool ProofGeneral.category_tracing |
132 NONE |
132 NONE |
133 ProofGeneral.thm_deps |
133 ProofGeneral.thm_deps |