Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper order;
authorwenzelm
Fri, 02 Mar 2018 20:46:25 +0100
changeset 67749 08dc76bf6400
parent 67748 94a8fddc1e7c
child 67750 58a33c568464
proper order;
src/Pure/Admin/build_status.scala file | annotate | diff | comparison | revisions 
--- 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