tuned message;
authorwenzelm
Sun, 12 Jan 2025 21:10:32 +0100
changeset 81794 9f3169b9d2d2
parent 81793 83a09b34de1c
child 81795 2856d67c8879
tuned message;
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),