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 73342 0bf768567d9f
parent 73340 0ffcad1f6130
child 73344 f5c147654661 
--- a/src/Pure/Admin/build_log.scala	Mon Mar 01 22:26:33 2021 +0100
+++ b/src/Pure/Admin/build_log.scala	Mon Mar 01 22:37:33 2021 +0100
@@ -765,8 +765,8 @@
 
       val version1 = Prop.isabelle_version
       val version2 = Prop.afp_version
-      val eq1 = version1(table) + " = " + SQL.string(rev)
-      val eq2 = version2(table) + " = " + SQL.string(rev2)
+      val eq1 = version1(table).toString + " = " + SQL.string(rev)
+      val eq2 = version2(table).toString + " = " + SQL.string(rev2)
 
       SQL.Table("recent_pull_date", table.columns,
         table.select(table.columns,
@@ -1136,7 +1136,7 @@
         if (ml_statistics) {
           val columns = columns1 ::: List(Data.ml_statistics(table2))
           val join =
-            table1 + SQL.join_outer + table2 + " ON " +
+            table1.toString + SQL.join_outer + table2 + " ON " +
             Data.log_name(table1) + " = " + Data.log_name(table2) + " AND " +
             Data.session_name(table1) + " = " + Data.session_name(table2)
           (columns, SQL.enclose(join))
isabelle