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/PIDE/resources.scala
changeset 75752 a0253e471aa4
parent 75750 2eee2fdfb6e2
child 75768 be79948f7f23 
--- a/src/Pure/PIDE/resources.scala	Thu Aug 04 12:14:56 2022 +0200
+++ b/src/Pure/PIDE/resources.scala	Thu Aug 04 12:43:33 2022 +0200
@@ -34,8 +34,6 @@
 ) {
   resources =>
 
-  def session_name: String = session_base.session_name
-
 
   /* init session */
isabelle