more kinds, notably for Isabelle/MMT;
authorwenzelm
Sun, 20 Oct 2019 12:56:36 +0200
changeset 71103 935c78a90ee0
parent 71100 3ed399935d7c
child 71104 05c4c6a99b3f
more kinds, notably for Isabelle/MMT;
src/Pure/Thy/export_theory.scala
--- a/src/Pure/Thy/export_theory.scala	Sat Oct 19 16:16:24 2019 +0200
+++ b/src/Pure/Thy/export_theory.scala	Sun Oct 20 12:56:36 2019 +0200
@@ -184,6 +184,9 @@
     val CLASS = Value("class")
     val LOCALE = Value("locale")
     val LOCALE_DEPENDENCY = Value("locale_dependency")
+    val DOCUMENT_HEADING = Value("document_heading")
+    val DOCUMENT_TEXT = Value("document_text")
+    val PROOF_TEXT = Value("proof_text")
   }
 
   sealed case class Entity(