changeset 59331 | 4139db32821e |
parent 59328 | b83d6c3c439a |
child 59348 | 8a6788917b32 |
--- a/src/Pure/PIDE/command.ML Fri Jan 09 20:12:42 2015 +0100 +++ b/src/Pure/PIDE/command.ML Fri Jan 09 20:39:17 2015 +0100 @@ -354,7 +354,7 @@ print_function "print_state" (fn {keywords, command_name, ...} => if Keyword.is_printed keywords command_name then - SOME {delay = NONE, pri = 1, persistent = false, strict = true, + SOME {delay = NONE, pri = 1, persistent = false, strict = false, print_fn = fn _ => fn st => if Toplevel.is_proof st then Toplevel.print_state st else ()} else NONE);