# HG changeset patch
# User wenzelm
# Date 1636224476 -3600
# Node ID 925b46043b843623bc1706ddb7d933bf6d5323f1
# Parent  baed95c975055b07b104d8adde6f6b4a156ea488
cover all possible kinds, notably for references outside of this theory (amending 129fb11b357f);

diff -r baed95c97505 -r 925b46043b84 src/Pure/Thy/presentation.scala
--- a/src/Pure/Thy/presentation.scala	Sat Nov 06 19:17:51 2021 +0100
+++ b/src/Pure/Thy/presentation.scala	Sat Nov 06 19:47:56 2021 +0100
@@ -85,7 +85,8 @@
     Elements(
       html = Rendering.foreground_elements ++ Rendering.text_color_elements +
         Markup.NUMERAL + Markup.COMMENT + Markup.ENTITY + Markup.LANGUAGE,
-      entity = Markup.Elements(Markup.THEORY, Markup.FREE))
+      entity = Markup.Elements(Markup.THEORY, Markup.TYPE_NAME, Markup.CONSTANT, Markup.FACT,
+        Markup.CLASS, Markup.LOCALE, Markup.FREE))
 
   val elements2: Elements =
     Elements(
@@ -547,7 +548,7 @@
 
           val thy_elements =
             session_elements.copy(entity =
-              theory_exports(name.theory).entity_kinds.foldLeft(session_elements.entity)(_ + _))
+              theory_exports(name.theory).others.keySet.foldLeft(session_elements.entity)(_ + _))
 
           val files_html =
             for {