# 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 }