--- a/src/Tools/Find_Facts/etc/options Sun Jan 12 00:05:01 2025 +0100
+++ b/src/Tools/Find_Facts/etc/options Sun Jan 12 12:54:25 2025 +0100
@@ -5,7 +5,7 @@
option find_facts_database_name : string = "local"
option find_facts_url_library : string = "https://isabelle.in.tum.de/dist/library/"
- -- "base url for Isabelle HTML presentation"
+ -- "base URL for Isabelle HTML presentation"
option find_facts_url_afp : string = "https://www.isa-afp.org/browser_info/current/"
- -- "base url for AFP HTML presentation"
+ -- "base URL for AFP HTML presentation"