--- a/NEWS Sun Jan 12 14:14:30 2025 +0100
+++ b/NEWS Sun Jan 12 14:16:21 2025 +0100
@@ -350,12 +350,11 @@
*** System ***
-* The "find_facts" tool provides a full-text search engine as web
-application based on Apache Solr (see also https://solr.apache.org).
-Minimal example:
+* Find_Facts is a full-text search engine as web application based on
+Apache Solr (see also https://solr.apache.org). Minimal example:
isabelle find_facts_index HOL
- isabelle find_facts -v
+ isabelle find_facts_server
open http://localhost:8080/app#search?q=Hilbert
Persistent data is stored in $ISABELLE_HOME_USER/solr/.