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.
tuned output;
authorwenzelm
Thu, 30 Jan 2025 13:13:21 +0100
changeset 82019 374db8f35939
parent 82018 d104c6ad04ee
child 82020 62f3d9484034
tuned output;
src/Tools/Find_Facts/src/find_facts.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/Find_Facts/src/find_facts.scala	Thu Jan 30 11:53:26 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Thu Jan 30 13:13:21 2025 +0100
@@ -748,7 +748,7 @@
 
     Isabelle_System.copy_dir(solr.database_dir(database), component_dir.path)
     component_dir.write_settings(
-      "FIND_FACTS_INDEXES=\"$FIND_FACTS_INDEXES:$COMPONENT/" + database + "\"")
+      "\nFIND_FACTS_INDEXES=\"$FIND_FACTS_INDEXES:$COMPONENT/" + database + "\"")
   }
isabelle