# HG changeset patch
# User wenzelm
# Date 1736712632 -3600
# Node ID 9f3169b9d2d2b177cbd2f810aa1529ef7728582d
# Parent  83a09b34de1ca16a31e29d79520b9b00cd59a61b
tuned message;

diff -r 83a09b34de1c -r 9f3169b9d2d2 src/Tools/Find_Facts/src/find_facts.scala
--- a/src/Tools/Find_Facts/src/find_facts.scala	Sun Jan 12 21:07:23 2025 +0100
+++ b/src/Tools/Find_Facts/src/find_facts.scala	Sun Jan 12 21:10:32 2025 +0100
@@ -929,7 +929,7 @@
       var verbose = false
 
       val getopts = Getopts("""
-Usage: isabelle find_facts [OPTIONS]
+Usage: isabelle find_facts_server [OPTIONS]
 
   Options are:
     -d           devel mode
@@ -937,7 +937,7 @@
     -p PORT      explicit web server port
     -v           verbose server
 
-  Run the find_facts web service.
+  Run server for Find_Facts.
 """,
         "d" -> (_ => devel = true),
         "o:" -> (arg => options = options + arg),