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 75921 423021c98500
parent 75920 27bf2533f4a4
child 75922 b327e5d5d6b4 
--- a/src/Pure/Thy/sessions.scala	Sat Aug 20 13:28:31 2022 +0200
+++ b/src/Pure/Thy/sessions.scala	Sat Aug 20 13:35:17 2022 +0200
@@ -364,7 +364,7 @@
     errors: List[String] = Nil,
     infos: List[Info] = Nil
   ) {
-    def session: String = base.session_name
+    def session_name: String = base.session_name
 
     def check_errors: Base_Info =
       if (errors.isEmpty) this
isabelle