--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Find_Facts/etc/options	Sat Jan 11 21:31:13 2025 +0100
@@ -0,0 +1,9 @@
+section "Find Facts"
+
+option find_facts_database_name : string = "local"
+
+option browser_info_url_library : string = "https://isabelle.in.tum.de/dist/library/"
+  -- "base url for Isabelle HTML presentation"
+
+option browser_info_url_afp : string = "https://www.isa-afp.org/browser_info/current/"
+  -- "base url for AFP HTML presentation"