src/Pure/PIDE/document.ML

         |> Option.map (fn thy => (thy, (pos, Theory.get_markup thy))));
 
     val parents =
       if null parents_reports then [Theory.get_pure ()] else map #1 parents_reports;
     val _ = Position.reports (map #2 parents_reports);
-  in Resources.begin_theory master_dir header parents end;
+    val thy = Resources.begin_theory master_dir header parents;
+    val _ = Output.status (Markup.markup_only Markup.initialized);
+  in thy end;
 
 fun check_root_theory node =
   let
     val master_dir = master_directory node;
     val header = #header (get_header node);