Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified names;
authorwenzelm
Wed, 25 Nov 2020 13:06:03 +0100
changeset 72702 79a19657c170
parent 72701 1c42ac589fa0
child 72703 eca176f773e0
clarified names;
src/Pure/Thy/export.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/export.scala	Wed Nov 25 12:57:45 2020 +0100
+++ b/src/Pure/Thy/export.scala	Wed Nov 25 13:06:03 2020 +0100
@@ -15,8 +15,8 @@
 {
   /* artefact names */
 
-  val MARKUP = "markup.yxml"
-  val MESSAGES = "messages.yxml"
+  val MARKUP = "PIDE/markup"
+  val MESSAGES = "PIDE/messages"
   val DOCUMENT_PREFIX = "document/"
   val THEORY_PREFIX: String = "theory/"
   val PROOFS_PREFIX: String = "proofs/"
isabelle