src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Sun Jan 13 19:03:16 2019 +0100
+++ b/src/Pure/PIDE/markup.scala	Sun Jan 13 19:42:06 2019 +0100
@@ -196,6 +196,9 @@
   val DOC = "doc"
   val Doc = new Markup_String(DOC, NAME)
 
+  val THEORY_EXPORTS = "theory_exports"
+  val Theory_Exports = new Markup_String(THEORY_EXPORTS, NAME)
+
 
   /* pretty printing */