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/Tools/dump.scala
changeset 72065 11dc8929832d
parent 71894 ab21876c30c1
child 72136 98dca728fc9c 
--- a/src/Pure/Tools/dump.scala	Thu Jul 23 11:48:58 2020 +0200
+++ b/src/Pure/Tools/dump.scala	Thu Jul 23 14:25:48 2020 +0200
@@ -169,7 +169,7 @@
         (for (name <- all_sessions if session_info(name).is_afp_bulky) yield name).toList
 
       val base_sessions =
-        session_graph.all_preds(List(logic).filter(session_graph.defined)).reverse
+        session_graph.all_preds_rev(List(logic).filter(session_graph.defined))
 
       val proof_sessions =
         session_graph.all_succs(
isabelle