src/Tools/Find_Facts/etc/options

original sources of find-facts 271b5af0c4c8;

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"