# HG changeset patch
# User wenzelm
# Date 1736687781 -3600
# Node ID 66d487aa1b99049a0a43a521bc6adcee7c4bbadd
# Parent  10669f47f6fd5b9bcda8b80408bd162317a053a9
clarified names;

diff -r 10669f47f6fd -r 66d487aa1b99 CONTRIBUTORS
--- 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.
diff -r 10669f47f6fd -r 66d487aa1b99 NEWS
--- 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/.
diff -r 10669f47f6fd -r 66d487aa1b99 src/Tools/Find_Facts/Tools/find_facts
--- 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 "$@"
diff -r 10669f47f6fd -r 66d487aa1b99 src/Tools/Find_Facts/Tools/find_facts_index
--- 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 $?
 
diff -r 10669f47f6fd -r 66d487aa1b99 src/Tools/Find_Facts/Tools/find_facts_server
--- /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 "$@"
diff -r 10669f47f6fd -r 66d487aa1b99 src/Tools/Find_Facts/src/find_facts_tools.scala
--- 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) }