# HG changeset patch
# User wenzelm
# Date 1661607891 -7200
# Node ID 7032b0886f9a291ff06a3c03a929e18098f78253
# Parent  586cad415e2f423eda98bb77f596234f0b09c199
proper order;

diff -r 586cad415e2f -r 7032b0886f9a 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
     }