--- 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
--- 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
--- 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) }
--- 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
--- 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.
*/