# HG changeset patch
# User wenzelm
# Date 1736682865 -3600
# Node ID 5df6481f45f99c97296e2de5f2bb20475a6faab7
# Parent  c405ad565d700624f6943c91eacf719402b54dca
tuned comments;

diff -r c405ad565d70 -r 5df6481f45f9 src/Tools/Find_Facts/etc/options
--- 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"