# HG changeset patch
# User wenzelm
# Date 1667476326 -3600
# Node ID 87c163ad642e1dedbf952da5bada195470f8ec53
# Parent  2768a6d71570cea56c6865445d51aebad561fb81
prefer abstract command kind (in contrast to 367f4512e65c);

diff -r 2768a6d71570 -r 87c163ad642e src/Pure/Thy/document_output.ML
--- a/src/Pure/Thy/document_output.ML	Thu Nov 03 12:50:53 2022 +0100
+++ b/src/Pure/Thy/document_output.ML	Thu Nov 03 12:52:06 2022 +0100
@@ -296,7 +296,8 @@
     fn cmd_name => fn state => fn state' => fn active_tag =>
       let
         val keyword_tags =
-          if cmd_name = "end" andalso Toplevel.is_end_theory state' then ["theory"]
+          if Keyword.is_theory_end keywords cmd_name andalso Toplevel.is_end_theory state'
+          then ["theory"]
           else Keyword.command_tags keywords cmd_name;
         val command_tags =
           the_list (AList.lookup (op =) document_tags_command cmd_name) @