src/Pure/Thy/export.scala

--- a/src/Pure/Thy/export.scala	Sat Dec 31 15:45:53 2022 +0100
+++ b/src/Pure/Thy/export.scala	Sat Dec 31 15:48:12 2022 +0100
@@ -450,7 +450,7 @@
     def apply(name: String, permissive: Boolean = false): Entry =
       session_context.apply(theory, name, permissive = permissive)
 
-    def uncompressed_yxml(name: String): XML.Body =
+    def yxml(name: String): XML.Body =
       get(name) match {
         case Some(entry) => entry.yxml
         case None => Nil