changeset 72730 | 01c9b3033036 |
parent 72702 | 79a19657c170 |
child 72763 | 3cc73d00553c |
--- a/src/Pure/Thy/export.scala Thu Nov 26 17:32:43 2020 +0100 +++ b/src/Pure/Thy/export.scala Thu Nov 26 18:05:24 2020 +0100 @@ -18,6 +18,7 @@ val MARKUP = "PIDE/markup" val MESSAGES = "PIDE/messages" val DOCUMENT_PREFIX = "document/" + val CITATIONS = DOCUMENT_PREFIX + "citations" val THEORY_PREFIX: String = "theory/" val PROOFS_PREFIX: String = "proofs/"