# 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)))