I have just installed the E prover (downloaded it from the Isabelle site)
on my computer under Linux. When I try to run sledgehammer from proof general,
I get the following error:
*** SysErr ("fork failed", SOME ENOMEM)
*** At command "sledgehammer"
In my setting file, I have
E_HOME=$(choosefrom "$ISABELLE_HOME/contrib/E/E/x86-linux/" "")
Thanks in advance for any help with this,