--- 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.
--- 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