Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
unused (see 3064e165c660);
authorwenzelm
Fri, 29 Jul 2022 15:47:21 +0200
changeset 75720 8fde337b3dfb
parent 75714 1635ee32e6d8
child 75721 9f540b73d665
unused (see 3064e165c660);
src/Pure/Thy/presentation.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/presentation.scala	Fri Jul 29 08:45:51 2022 +0200
+++ b/src/Pure/Thy/presentation.scala	Fri Jul 29 15:47:21 2022 +0200
@@ -521,7 +521,6 @@
     val base = deps(session)
 
     val hierarchy = deps.sessions_structure.build_hierarchy(session)
-    val hierarchy_theories = hierarchy.reverse.flatMap(a => deps(a).used_theories.map(_._1))
 
     val session_dir = Isabelle_System.make_directory(html_context.session_dir(info))
isabelle