[isabelle] "ISABELLE_ATP" is not set



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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.