--- a/CONTRIBUTORS Sun Jan 12 14:14:30 2025 +0100
+++ b/CONTRIBUTORS Sun Jan 12 14:16:21 2025 +0100
@@ -10,7 +10,7 @@
Inference of variable instantiations with Metis.
* 2024: Fabian Huch, TU München
- Search engine "find_facts": web application based on Apache Solr.
+ Find_Facts search engine: 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 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/.
--- a/src/Tools/Find_Facts/Tools/find_facts Sun Jan 12 14:14:30 2025 +0100
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-#!/usr/bin/env bash
-#
-# DESCRIPTION: run find_facts server
-
-isabelle scala_build || exit $?
-
-eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
-
-classpath "$SOLR_JARS"
-
-exec isabelle java "${JAVA_ARGS[@]}" --enable-native-access=ALL-UNNAMED isabelle.find_facts.Find_Facts_Tool "$@"
--- a/src/Tools/Find_Facts/Tools/find_facts_index Sun Jan 12 14:14:30 2025 +0100
+++ b/src/Tools/Find_Facts/Tools/find_facts_index Sun Jan 12 14:16:21 2025 +0100
@@ -1,6 +1,6 @@
#!/usr/bin/env bash
#
-# DESCRIPTION: index sessions for find_facts
+# DESCRIPTION: index sessions for Find_Facts
isabelle scala_build || exit $?
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Find_Facts/Tools/find_facts_server Sun Jan 12 14:16:21 2025 +0100
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+#
+# DESCRIPTION: run server for Find_Facts
+
+isabelle scala_build || exit $?
+
+eval "declare -a JAVA_ARGS=($ISABELLE_TOOL_JAVA_OPTIONS)"
+
+classpath "$SOLR_JARS"
+
+exec isabelle java "${JAVA_ARGS[@]}" --enable-native-access=ALL-UNNAMED isabelle.find_facts.Find_Facts_Server_Tool "$@"
--- a/src/Tools/Find_Facts/src/find_facts_tools.scala Sun Jan 12 14:14:30 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts_tools.scala Sun Jan 12 14:16:21 2025 +0100
@@ -7,4 +7,4 @@
package isabelle.find_facts
object Find_Facts_Index_Tool { def main(args: Array[String]): Unit = Find_Facts.main_tool1(args) }
-object Find_Facts_Tool { def main(args: Array[String]): Unit = Find_Facts.main_tool3(args) }
+object Find_Facts_Server_Tool { def main(args: Array[String]): Unit = Find_Facts.main_tool3(args) }