changeset 73785 | b5fb99b985b4 |
parent 73693 | 3ab18af9b2b5 |
child 74215 | 7515abfe18cf |
--- a/src/Pure/Thy/export.scala Tue May 25 23:18:29 2021 +0200 +++ b/src/Pure/Thy/export.scala Tue May 25 23:37:32 2021 +0200 @@ -20,7 +20,8 @@ val MARKUP = "PIDE/markup" val MESSAGES = "PIDE/messages" val DOCUMENT_PREFIX = "document/" - val CITATIONS = DOCUMENT_PREFIX + "citations" + val DOCUMENT_LATEX = DOCUMENT_PREFIX + "latex" + val DOCUMENT_CITATIONS = DOCUMENT_PREFIX + "citations" val THEORY_PREFIX: String = "theory/" val PROOFS_PREFIX: String = "proofs/"