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 75779 5470c67bd772
parent 75777 ed32b5554ed3
child 75782 dba571dd0ba9 
--- a/src/Pure/Thy/sessions.scala	Sat Aug 06 16:37:23 2022 +0200
+++ b/src/Pure/Thy/sessions.scala	Sat Aug 06 16:54:01 2022 +0200
@@ -378,7 +378,7 @@
     def session: String = base.session_name
   }
 
-  def base_info_empty(session: String): Base_Info =
+  def base_info0(session: String): Base_Info =
     Base_Info(Base(session_name = session))
 
   def base_info(options: Options,
isabelle