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.
tuned;
authorwenzelm
Sat, 06 May 2017 11:43:35 +0200
changeset 65738 6bfe25513851
parent 65737 0729c09be90c
child 65739 3f206cfca625
tuned;
src/Pure/Admin/build_log.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_log.scala	Sat May 06 00:23:04 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Sat May 06 11:43:35 2017 +0200
@@ -977,9 +977,9 @@
         if (ml_statistics) {
           val columns = columns1 ::: List(Data.ml_statistics(table2))
           val join =
-            SQL.join_outer(table1, table2,
-              Data.log_name(table1) + " = " + Data.log_name(table2) + " AND " +
-              Data.session_name(table1) + " = " + Data.session_name(table2))
+            table1 + " LEFT OUTER JOIN " + table2 + " ON " +
+            Data.log_name(table1) + " = " + Data.log_name(table2) + " AND " +
+            Data.session_name(table1) + " = " + Data.session_name(table2)
           (columns, SQL.enclose(join))
         }
         else (columns1, table1.ident)
isabelle