src/Pure/PIDE/command.ML

--- a/src/Pure/PIDE/command.ML	Sun Sep 02 21:22:52 2018 +0200
+++ b/src/Pure/PIDE/command.ML	Sun Sep 02 22:30:08 2018 +0200
@@ -269,6 +269,10 @@
     | SOME st' =>
         let
           val _ = status tr Markup.finished;
+          val _ =
+            if Keyword.is_theory_end keywords (Toplevel.name_of tr) andalso
+              can (Toplevel.end_theory Position.none) st'
+            then status tr Markup.finalized else ();
         in {failed = false, command = tr, state = st'} end)
   end;