# HG changeset patch
# User wenzelm
# Date 1736688198 -3600
# Node ID dde5b5463429fc87531e9524b4cc0a4a00568088
# Parent  12028de0b66a1d12e367aa82bd2a66ad42164aa0
tuned messages;

diff -r 12028de0b66a -r dde5b5463429 src/Tools/Find_Facts/src/find_facts.scala
--- a/src/Tools/Find_Facts/src/find_facts.scala	Sun Jan 12 14:21:22 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Sun Jan 12 14:23:18 2025 +0100
@@ -687,7 +687,7 @@
   /* Isabelle tool wrapper */
 
   val isabelle_tool2 = Isabelle_Tool("find_facts_index_component",
-    "build component from find_facts index", Scala_Project.here,
+    "build Isabelle component from Find_Facts index", Scala_Project.here,
     { args =>
       var options = Options.init()
       var target_dir = Path.current
@@ -699,7 +699,7 @@
       -o OPTION    override Isabelle system OPTION (via NAME=VAL or NAME)
       -D DIR       target directory (default ".")
 
-    Build component from finalized find_facts index with given name.
+    Build Isabelle component from finalized Find_Facts index with given name.
   """,
         "o:" -> (arg => options = options + arg),
         "D:" -> (arg => target_dir = Path.explode(arg)))