changeset 53850 | cd3ce844248f |
parent 53794 | 42c14dba1daa |
child 53898 | 909167fdd367 |
1.1 --- a/src/Pure/PIDE/command.ML Fri Jul 19 23:29:43 2013 +0200 1.2 +++ b/src/Pure/PIDE/command.ML Sat Jul 20 16:16:23 2013 +0200 1.3 @@ -285,7 +285,7 @@ 1.4 val _ = 1.5 print_function "print_state" 1.6 (fn {command_name} => 1.7 - SOME {delay = Time.zeroTime, pri = 0, persistent = true, 1.8 + SOME {delay = Time.zeroTime, pri = 1, persistent = true, 1.9 print_fn = fn tr => fn st' => 1.10 let 1.11 val is_init = Keyword.is_theory_begin command_name;