src/Pure/PIDE/markup.scala

   val URL = "url"
   val Url = new Markup_String(URL, NAME)
 
   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 */
 
   val Consistent = new Properties.Boolean("consistent")

 
   /* active areas */
 
   val BROWSER = "browser"
   val GRAPHVIEW = "graphview"
+  val THEORY_EXPORTS = "theory_exports"
 
   val SENDBACK = "sendback"
   val PADDING = "padding"
   val PADDING_LINE = (PADDING, "line")
   val PADDING_COMMAND = (PADDING, "command")