| changeset 45674 | eb65c9d17e2f |
| parent 45666 | d83797ef0d2d |
| child 46739 | 6024353549ca |
--- a/src/Pure/PIDE/document.ML Tue Nov 29 21:29:53 2011 +0100 +++ b/src/Pure/PIDE/document.ML Tue Nov 29 21:50:00 2011 +0100 @@ -308,7 +308,7 @@ local fun timing tr t = - if Timing.is_relevant t then Toplevel.status tr (Markup.timing t) else (); + if Timing.is_relevant t then Toplevel.status tr (Isabelle_Markup.timing t) else (); fun proof_status tr st = (case try Toplevel.proof_of st of