| changeset 51048 | 123be08eed88 |
| parent 50912 | 8d391f185cac |
| child 51222 | 8c3e5fb41139 |
--- a/src/Pure/Isar/proof.ML Thu Jan 24 21:18:30 2013 +0100 +++ b/src/Pure/Isar/proof.ML Fri Jan 25 13:09:34 2013 +0100 @@ -1031,8 +1031,8 @@ local fun skipped_proof state = - Context_Position.report_text (context_of state) (Position.thread_data ()) - Markup.bad "Skipped proof"; + Context_Position.if_visible (context_of state) Output.report + (Markup.markup Markup.bad "Skipped proof"); in