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/sessions.scala
changeset 76935 da3310cc00f0
parent 76927 da13da82f6f9
child 76991 6a078c80eab6 
--- a/src/Pure/Thy/sessions.scala	Fri Jan 06 16:50:43 2023 +0100
+++ b/src/Pure/Thy/sessions.scala	Fri Jan 06 16:54:16 2023 +0100
@@ -67,7 +67,6 @@
     override def toString: String = name
 
     def bytes: Bytes = if (compressed) body.uncompress(cache = cache) else body
-    def text: String = bytes.text
   }
 
   object Sources {
isabelle