src/Pure/Isar/isar.ML
changeset 29417 779ff1187327
parent 29370 98aaf2cd873f
     1.1 --- a/src/Pure/Isar/isar.ML	Thu Jan 08 13:18:34 2009 +0100
     1.2 +++ b/src/Pure/Isar/isar.ML	Fri Jan 09 23:33:59 2009 +0100
     1.3 @@ -194,7 +194,7 @@
     1.4    Finished of Toplevel.state;
     1.5  
     1.6  fun status_markup Unprocessed = Markup.unprocessed
     1.7 -  | status_markup Running = Markup.running
     1.8 +  | status_markup Running = (Markup.runningN, [])
     1.9    | status_markup (Failed _) = Markup.failed
    1.10    | status_markup (Finished _) = Markup.finished;
    1.11