--- a/src/Pure/Admin/build_log.scala Sat Mar 09 10:57:28 2024 +0100
+++ b/src/Pure/Admin/build_log.scala Sat Mar 09 11:05:32 2024 +0100
@@ -687,15 +687,7 @@
}
object private_data extends SQL.Data("isabelle_build_log") {
- override def tables: SQL.Tables =
- SQL.Tables(
- meta_info_table,
- sessions_table,
- theories_table,
- ml_statistics_table)
-
-
- /* main content */
+ /* tables */
val meta_info_table =
make_table(Column.log_name :: Prop.all_props ::: Settings.all_settings, name = "meta_info")
@@ -719,6 +711,13 @@
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) */