Hi all,I'm using the svn version of Isabelle and when I try to run sledgehammer, I get an error complaining that the environment variable "ISABELLE_ATP" is not set. How do I set it? I can't seem to find it in the etc/settings file.
Thanks for the help. Steve