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/Admin/build_status.scala
changeset 67749 08dc76bf6400
parent 67739 e512938b853c
child 67759 56eba30e7b99 
--- a/src/Pure/Admin/build_status.scala	Fri Mar 02 20:32:39 2018 +0100
+++ b/src/Pure/Admin/build_status.scala	Fri Mar 02 20:46:25 2018 +0100
@@ -116,7 +116,7 @@
           "status")
       val date_format = Date.Format("uuuu-MM-dd HH:mm:ss")
       val records =
-        for (entry <- entries) yield {
+        for (entry <- sorted_entries) yield {
           CSV.Record(name,
             entry.chapter,
             date_format(entry.pull_date),
isabelle