[isabelle-dev] sledgehammer

[Tobias Nipkow]

With Isabelle/jedit (566b769c3477) I get

"remote_vampire": Error: SystemOnTPTP is currently not available: ERROR: Cannot
make temp dir /tmp/SystemOnTPTPFormReply634.

"remote_e_sine": Error: SystemOnTPTP is currently not available: ERROR: Cannot
make temp dir /tmp/SystemOnTPTPFormReply634.

It looks like the problem is on the SystemOnTPTP side, I am just posting this in
case it is a last minute problem on our side.

Tobias