NEWS

--- a/NEWS	Sun Jan 12 21:26:30 2025 +0100
+++ b/NEWS	Sun Jan 12 21:38:38 2025 +0100
@@ -357,7 +357,7 @@
     isabelle find_facts_server
     open http://localhost:8080/app#search?q=Hilbert
 
-Persistent data is stored in $ISABELLE_HOME_USER/solr/.
+Persistent data is stored in $ISABELLE_HOME_USER/find_facts/.
 
 * The Build_Manager module has replaced previous glue-code for Jenkins
 integration. The module contains a server that coordinates continuous