Hi Steve, An arbitrary development snapshot of Isabelle is not required to run as expected, but many snapshots do. Since your question is related to such an arbitray version of Isabelle, I took the freedom to move your question to the developer list.
To solve your issue, could you please specify which precise instance of Isabelle you have, e.g., by issuing the command "hg id" at your console? Furthermore, how did the error manifest itself, i.e., under what conditions do you see the error? Do you maybe have a small example theory? Sascha [email protected] wrote: > 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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
