# HG changeset patch
# User wenzelm
# Date 1740346656 -3600
# Node ID 8e770d3cc85cf0e1a5e5e47fd01131048e91671e
# Parent  d3b401fe8188a9c136403cfb01e87892cb57d444
more NEWS;

diff -r d3b401fe8188 -r 8e770d3cc85c NEWS
--- a/NEWS	Sun Feb 23 21:22:41 2025 +0100
+++ b/NEWS	Sun Feb 23 22:37:36 2025 +0100
@@ -412,7 +412,14 @@
 *** System ***
 
 * Find_Facts is a full-text search engine as web application based on
-Apache Solr (see also https://solr.apache.org). Minimal example:
+Apache Solr (see https://solr.apache.org). Example using a bundled
+database (if available,
+$ISABELLE_HOME/src/Tools/Find_Facts/lib/isabelle.db):
+
+    isabelle find_facts_server -p 8080 -o find_facts_database_name=isabelle
+    open http://localhost:8080/find_facts#search?q=Hilbert
+
+Example that builds its own database (called "local" by default):
 
     isabelle find_facts_index HOL
     isabelle find_facts_server -p 8080