changeset 54541 | d598b6231ff7 |
parent 54512 | 78693e46a237 |
child 54846 | 84522727f9d3 |
1.1 --- a/src/Pure/PIDE/command.ML Wed Sep 04 15:27:24 2013 +0200 1.2 +++ b/src/Pure/PIDE/command.ML Wed Sep 04 16:03:45 2013 +0200 1.3 @@ -294,7 +294,7 @@ 1.4 val _ = 1.5 print_function "print_state" 1.6 (fn {command_name, ...} => 1.7 - SOME {delay = NONE, pri = 1, persistent = true, strict = true, 1.8 + SOME {delay = NONE, pri = 1, persistent = false, strict = true, 1.9 print_fn = fn tr => fn st' => 1.10 let 1.11 val is_init = Keyword.is_theory_begin command_name;