Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/store.scala
changeset 78208 27fa23851cd1
parent 78205 a40ae2df39ad
child 78212 dfb172d7e40e 
--- a/src/Pure/Thy/store.scala	Mon Jun 26 22:15:56 2023 +0200
+++ b/src/Pure/Thy/store.scala	Mon Jun 26 22:45:04 2023 +0200
@@ -79,7 +79,8 @@
 
   object Data extends SQL.Data() {
     override lazy val tables =
-      SQL.Tables(Session_Info.table, Sources.table, Export.Data.table, Document_Build.Data.table)
+      SQL.Tables(Session_Info.table, Sources.table,
+        Export.Data.Base.table, Document_Build.Data.table)
 
     object Session_Info {
       val session_name = SQL.Column.string("session_name").make_primary_key
@@ -395,7 +396,7 @@
         sql = Store.Data.Sources.where_equal(name)))
 
       db.execute_statement(
-        Export.Data.table.delete(sql = Export.Data.session_name.where_equal(name)))
+        Export.Data.Base.table.delete(sql = Export.Data.Base.session_name.where_equal(name)))
 
       db.execute_statement(
         Document_Build.Data.table.delete(sql = Document_Build.Data.session_name.where_equal(name)))
isabelle