# HG changeset patch
# User wenzelm
# Date 1736684831 -3600
# Node ID 1a02f32f7d20c74aeaa690364073d7bda57ac74e
# Parent  c14d70d961943d6d0a6e5a181646b68a0260f783
tuned headers;

diff -r c14d70d96194 -r 1a02f32f7d20 src/Tools/Find_Facts/src/elm.scala
--- a/src/Tools/Find_Facts/src/elm.scala	Sun Jan 12 13:09:42 2025 +0100
+++ b/src/Tools/Find_Facts/src/elm.scala	Sun Jan 12 13:27:11 2025 +0100
@@ -1,6 +1,8 @@
-/*  Author:     Fabian Huch, TU Muenchen
+/*  Title:      Tools/Find_Facts/src/elm.scala
+    Author:     Fabian Huch, TU Muenchen
 
-Elm module for Isabelle.
+Support for Elm https://elm-lang.org "A delightful language for reliable web
+applications".
 */
 
 package isabelle.find_facts
diff -r c14d70d96194 -r 1a02f32f7d20 src/Tools/Find_Facts/src/find_facts.scala
--- a/src/Tools/Find_Facts/src/find_facts.scala	Sun Jan 12 13:09:42 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Sun Jan 12 13:27:11 2025 +0100
@@ -1,7 +1,8 @@
-/*  Title:      Tools/Find_Facts.scala
+/*  Title:      Tools/Find_Facts/src/find_facts.scala
     Author:     Fabian Huch, TU Muenchen
 
-Full-text search engine for Isabelle (including web server), using Solr as backend.
+Full-text search engine for Isabelle (including web server), using Apache Solr
+https://solr.apache.org as backend.
 */
 
 package isabelle.find_facts
diff -r c14d70d96194 -r 1a02f32f7d20 src/Tools/Find_Facts/src/find_facts_tools.scala
--- a/src/Tools/Find_Facts/src/find_facts_tools.scala	Sun Jan 12 13:09:42 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts_tools.scala	Sun Jan 12 13:27:11 2025 +0100
@@ -1,3 +1,9 @@
+/*  Title:      Tools/Find_Facts/src/find_facts_tools.scala
+    Author:     Fabian Huch, TU Muenchen
+
+JVM entry points for command-line tools in $FIND_FACTS_HOME/Tools/.
+*/
+
 package isabelle.find_facts
 
 object Find_Facts_Index_Tool { def main(args: Array[String]): Unit = Find_Facts.main_tool1(args) }
diff -r c14d70d96194 -r 1a02f32f7d20 src/Tools/Find_Facts/src/solr.scala
--- a/src/Tools/Find_Facts/src/solr.scala	Sun Jan 12 13:09:42 2025 +0100
+++ b/src/Tools/Find_Facts/src/solr.scala	Sun Jan 12 13:27:11 2025 +0100
@@ -1,6 +1,9 @@
-/*  Author:     Fabian Huch, TU Muenchen
+/*  Title:      Tools/Find_Facts/src/solr.scala
+    Author:     Fabian Huch, TU Muenchen
 
-Support for full-text search via Solr. See also: https://solr.apache.org/
+Full-text search via Apache Solr. see also: https://solr.apache.org/.
+
+NB: This requires a separate Java process with classpath "$SOLR_JARS".
 */
 
 package isabelle.find_facts
diff -r c14d70d96194 -r 1a02f32f7d20 src/Tools/Find_Facts/src/thy_blocks.scala
--- a/src/Tools/Find_Facts/src/thy_blocks.scala	Sun Jan 12 13:09:42 2025 +0100
+++ b/src/Tools/Find_Facts/src/thy_blocks.scala	Sun Jan 12 13:27:11 2025 +0100
@@ -1,4 +1,5 @@
-/*  Author:     Fabian Huch, TU Muenchen
+/*  Title:      Tools/Find_Facts/src/thy_blocks.scala
+    Author:     Fabian Huch, TU Muenchen
 
 Block structure for Isabelle theories, read from build database.
 */