src/Pure/Admin/build_log.scala

--- a/src/Pure/Admin/build_log.scala	Tue Jul 18 11:39:43 2023 +0200
+++ b/src/Pure/Admin/build_log.scala	Tue Jul 18 12:19:12 2023 +0200
@@ -631,6 +631,9 @@
   /* SQL data model */
 
   object Data extends SQL.Data("isabelle_build_log") {
+    override def tables: SQL.Tables = ???
+
+
     /* main content */
 
     val log_name = SQL.Column.string("log_name").make_primary_key