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 query (amending ce15da15f8e2);
authorwenzelm
Sat, 29 Apr 2017 10:33:43 +0200
changeset 65628 fd87fb909b89
parent 65627 bb185e442c95
child 65629 e6c0afe672fa
proper query (amending ce15da15f8e2);
src/Pure/Admin/build_log.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_log.scala	Sat Apr 29 10:17:08 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Sat Apr 29 10:33:43 2017 +0200
@@ -766,7 +766,7 @@
       db: SQL.Database, log_name: String, session_names: List[String] = Nil): Build_Info =
     {
       val where0 =
-        Meta_Info.log_name.sql_where_equal(log_name) + " AND "
+        Meta_Info.log_name.sql_where_equal(log_name) + " AND " +
           Build_Info.session_name.sql_name + " <> ''"
       val where =
         if (session_names.isEmpty) where0
isabelle