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.
merged
authordesharna
Fri, 21 Mar 2025 16:42:20 +0100
changeset 82315 6c68eff8355a
parent 82314 c95eca07f6a0 (current diff)
parent 82312 c6193fc5ea3c (diff)
child 82316 83584916b6d7
merged
--- a/src/Tools/Find_Facts/src/find_facts.scala	Fri Mar 21 15:20:13 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Fri Mar 21 16:42:20 2025 +0100
@@ -306,8 +306,8 @@
 
     def update_theory(db: Solr.Database, theory_name: String, blocks: List[Block]): Unit =
       db.transaction {
-        val delete =
-          read_domain(db, Solr.filter(Fields.theory, Solr.phrase(theory_name))) -- blocks.map(_.id)
+        val domain = read_domain(db, Solr.filter(Fields.theory_facet, Solr.phrase(theory_name)))
+        val delete = domain -- blocks.map(_.id)
 
         if (delete.nonEmpty) db.execute_batch_delete(delete.toList)
 
@@ -352,7 +352,7 @@
 
     def delete_session(db: Solr.Database, session_name: String): Unit =
       db.transaction {
-        val delete = read_domain(db, Solr.filter(Fields.session, Solr.phrase(session_name)))
+        val delete = read_domain(db, Solr.filter(Fields.session_facet, Solr.phrase(session_name)))
         if (delete.nonEmpty) db.execute_batch_delete(delete.toList)
       }
isabelle