changeset 69630 | aaa0b5f571e8 |
parent 69629 | e1188d9d616b |
child 69634 | 70f1994988d4 |
--- a/src/Pure/Thy/export.scala Fri Jan 11 11:28:04 2019 +0100 +++ b/src/Pure/Thy/export.scala Fri Jan 11 11:35:16 2019 +0100 @@ -73,7 +73,9 @@ name: String, body: Future[(Boolean, Bytes)]) { - override def toString: String = compound_name(theory_name, name) + override def toString: String = uncompressed().toString + + def text: String = uncompressed().text def uncompressed(cache: XZ.Cache = XZ.cache()): Bytes = {