# HG changeset patch
# User wenzelm
# Date 1698351622 -7200
# Node ID 2700e4b484f7447140dbc0c7a079a6f4e6f518f8
# Parent  db37cae970a639fa475fd13670d67179a6eafe76
removed obsolete table (see also 6acd1a2bd146);

diff -r db37cae970a6 -r 2700e4b484f7 src/Pure/Admin/build_log.scala
--- a/src/Pure/Admin/build_log.scala	Thu Oct 26 22:10:22 2023 +0200
+++ b/src/Pure/Admin/build_log.scala	Thu Oct 26 22:20:22 2023 +0200
@@ -638,8 +638,7 @@
         meta_info_table,
         sessions_table,
         theories_table,
-        ml_statistics_table,
-        isabelle_afp_versions_table)
+        ml_statistics_table)
 
 
     /* main content */
@@ -689,19 +688,6 @@
       make_table(List(log_name, session_name, ml_statistics), name = "ml_statistics")
 
 
-    /* AFP versions */
-
-    val isabelle_afp_versions_table: SQL.Table = {
-      val version1 = Prop.isabelle_version
-      val version2 = Prop.afp_version
-      make_table(List(version1.make_primary_key, version2),
-        body =
-          SQL.select(List(version1, version2), distinct = true) + meta_info_table +
-            SQL.where_and(version1.defined, version2.defined),
-        name = "isabelle_afp_versions")
-    }
-
-
     /* earliest pull date for repository version (PostgreSQL queries) */
 
     def pull_date(afp: Boolean = false): SQL.Column =