Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned messages;
authorwenzelm
Sun, 12 Jan 2025 14:23:18 +0100
changeset 81785 dde5b5463429
parent 81784 12028de0b66a
child 81786 02456be32935
tuned messages;
src/Tools/Find_Facts/src/find_facts.scala file | annotate | diff | comparison | revisions 
--- 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)))
isabelle