--- a/src/Pure/Admin/build_log.scala Sun Mar 10 10:40:48 2024 +0100
+++ b/src/Pure/Admin/build_log.scala Sun Mar 10 10:50:12 2024 +0100
@@ -689,6 +689,13 @@
object private_data extends SQL.Data("isabelle_build_log") {
/* tables */
+ override lazy val tables: SQL.Tables =
+ SQL.Tables(
+ meta_info_table,
+ sessions_table,
+ theories_table,
+ ml_statistics_table)
+
val meta_info_table =
make_table(Column.log_name :: Prop.all_props ::: Settings.all_settings, name = "meta_info")
@@ -711,13 +718,6 @@
make_table(List(Column.log_name, Column.session_name, Column.ml_statistics),
name = "ml_statistics")
- override val tables: SQL.Tables =
- SQL.Tables(
- meta_info_table,
- sessions_table,
- theories_table,
- ml_statistics_table)
-
/* earliest pull date for repository version (PostgreSQL queries) */