[isabelle] Sledgehammer: Cannot connect to server.



Hi,

some students of mine are complaining about the remote sledgehammer tools not working any more. I also could reproduce this problem. Are they gone for good, are they coming back, have they moved or is there something funky going on?

Sledgehammer output (Isabelle2014/2015):
Sledgehammering...
Cannot connect to remote server.
"remote_vampire": Error: SystemOnTPTP is not available.

Cannot connect to remote server.
"remote_e_sine": Error: SystemOnTPTP is not available.

Best wishes
  Benedikt




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.