Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/export.scala
changeset 72816 ea4f86914cb2
parent 72763 3cc73d00553c
child 72844 240c8a0f6337 
--- a/src/Pure/Thy/export.scala	Sat Dec 05 11:49:04 2020 +0100
+++ b/src/Pure/Thy/export.scala	Sat Dec 05 12:14:40 2020 +0100
@@ -16,6 +16,7 @@
   /* artefact names */
 
   val MARKUP = "PIDE/markup"
+  val FILES = "PIDE/files"
   val MESSAGES = "PIDE/messages"
   val DOCUMENT_PREFIX = "document/"
   val CITATIONS = DOCUMENT_PREFIX + "citations"
isabelle