# HG changeset patch
# User wenzelm
# Date 1736683782 -3600
# Node ID c14d70d961943d6d0a6e5a181646b68a0260f783
# Parent  5df6481f45f99c97296e2de5f2bb20475a6faab7
more NEWS + CONTRIBUTORS;

diff -r 5df6481f45f9 -r c14d70d96194 CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Jan 12 12:54:25 2025 +0100
+++ b/CONTRIBUTORS	Sun Jan 12 13:09:42 2025 +0100
@@ -9,6 +9,9 @@
 * October 2024 - January 2025: Lukas Bartl, Universität Augsburg
   Inference of variable instantiations with Metis.
 
+* 2024: Fabian Huch, TU München
+  Search engine "find_facts": web application based on Apache Solr.
+
 * April - October 2024: Thomas Lindae and Fabian Huch, TU München
   Improvements to the language server for Isabelle/VSCode.
 
diff -r 5df6481f45f9 -r c14d70d96194 NEWS
--- a/NEWS	Sun Jan 12 12:54:25 2025 +0100
+++ b/NEWS	Sun Jan 12 13:09:42 2025 +0100
@@ -350,6 +350,16 @@
 
 *** 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:
+
+    isabelle find_facts_index HOL
+    isabelle find_facts -v
+    open http://localhost:8080/app#search?q=Hilbert
+
+Persistent data is stored in $ISABELLE_HOME_USER/solr/.
+
 * The Build_Manager module has replaced previous glue-code for Jenkins
 integration. The module contains a server that coordinates continuous
 integration jobs and user-submitted build tasks and displays them via