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