--- 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] =