equal
deleted
inserted
replaced
104 Toplevel.debug |
104 Toplevel.debug |
105 "debugging" |
105 "debugging" |
106 "Whether to enable debugging"; |
106 "Whether to enable debugging"; |
107 |
107 |
108 val _ = |
108 val _ = |
109 ProofGeneral.preference_raw ProofGeneral.category_tracing |
109 ProofGeneral.preference_bool ProofGeneral.category_tracing |
110 (fn () => Markup.print_bool (print_mode_active ProofGeneral.thm_depsN)) |
110 ProofGeneral.thm_deps |
111 (fn s => |
|
112 if Markup.parse_bool s |
|
113 then Unsynchronized.change print_mode (insert (op =) ProofGeneral.thm_depsN) |
|
114 else Unsynchronized.change print_mode (remove (op =) ProofGeneral.thm_depsN)) |
|
115 ProofGeneral.pgipbool |
|
116 "theorem-dependencies" |
111 "theorem-dependencies" |
117 "Track theorem dependencies within Proof General"; |
112 "Track theorem dependencies within Proof General"; |
118 |
113 |
119 |
114 |
120 (* proof *) |
115 (* proof *) |