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 77026 808412ec2e13
parent 77023 474a07221c27
child 77168 547d140f0780 
--- a/src/Pure/Thy/export.scala	Fri Jan 20 13:42:39 2023 +0100
+++ b/src/Pure/Thy/export.scala	Fri Jan 20 13:53:45 2023 +0100
@@ -20,7 +20,6 @@
   val MESSAGES = "PIDE/messages"
   val DOCUMENT_PREFIX = "document/"
   val DOCUMENT_LATEX = DOCUMENT_PREFIX + "latex"
-  val DOCUMENT_CITATIONS = DOCUMENT_PREFIX + "citations"
   val THEORY_PREFIX: String = "theory/"
   val PROOFS_PREFIX: String = "proofs/"
isabelle