src/Pure/Thy/sessions.scala

--- a/src/Pure/Thy/sessions.scala	Sat Aug 27 15:29:02 2022 +0200
+++ b/src/Pure/Thy/sessions.scala	Sat Aug 27 15:44:51 2022 +0200
@@ -758,7 +758,7 @@
         (for {
           (name, sessions) <- chapter_sessions.iterator_list
           if !chapters1.exists(_.name == name)
-        } yield Chapter_Info(name, Position.none, "", sessions.sorted)).toList
+        } yield Chapter_Info(name, Position.none, "", sessions.sorted)).toList.sortBy(_.name)
       chapters1 ::: chapters2
     }