[isabelle-dev] sledgehammer

Tobias Nipkow nipkow at in.tum.de
Thu Oct 3 12:08:45 CEST 2013


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


More information about the isabelle-dev mailing list