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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev