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/presentation.scala
changeset 74717 baed95c97505
parent 74716 056de3681cb9
child 74718 925b46043b84 
--- a/src/Pure/Thy/presentation.scala	Sat Nov 06 18:16:54 2021 +0100
+++ b/src/Pure/Thy/presentation.scala	Sat Nov 06 19:17:51 2021 +0100
@@ -431,7 +431,7 @@
           map(link => HTML.text("View ") ::: List(link))).flatten
     }
 
-    val all_used_theories = hierarchy.flatMap(a => deps(a).used_theories.map(_._1))
+    val all_used_theories = hierarchy.reverse.flatMap(a => deps(a).used_theories.map(_._1))
     val present_theories = html_context.register_presented(all_used_theories)
 
     val theory_exports: Map[String, Export_Theory.Theory] =
isabelle