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_log.scala
changeset 65622 52f682598f6b
parent 65621 551950dccec6
child 65623 ce15da15f8e2 
--- a/src/Pure/Admin/build_log.scala	Fri Apr 28 22:29:37 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Fri Apr 28 22:39:29 2017 +0200
@@ -652,7 +652,7 @@
 
         val key = Meta_Info.log_name
         val known_files =
-          using(db.select(table, List(key)))(stmt =>
+          using(db.select(table, List(key), distinct = true))(stmt =>
             SQL.iterator(stmt.executeQuery)(rs => db.string(rs, key)).toSet)
 
         val unique_files =
isabelle