Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] "ISABELLE_ATP" is not set

view this post on Zulip Email Gateway (Aug 18 2022 at 16:54):

From: s.wong.731@gmail.com
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

Last updated: Apr 24 2024 at 20:16 UTC