Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
redundant (see also 3069da1743bc);
authorwenzelm
Thu, 26 Oct 2023 22:44:31 +0200
changeset 78853 5826b24dd193
parent 78852 2700e4b484f7
child 78854 35b406a5c105
redundant (see also 3069da1743bc);
src/Pure/Admin/build_log.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_log.scala	Thu Oct 26 22:20:22 2023 +0200
+++ b/src/Pure/Admin/build_log.scala	Thu Oct 26 22:44:31 2023 +0200
@@ -1003,7 +1003,6 @@
       }
 
       abstract class Table_Status(table: SQL.Table) {
-        db.create_table(table)
         private var known: Set[String] = domain(db, table, private_data.log_name)
 
         def required(file: JFile): Boolean = !known(Log_File.plain_name(file))
isabelle