contrib/SystemOnTPTP/remote
2009-01-20 immler 2009-01-20 modified remote script; modified handling of errors
2009-01-14 immler 2009-01-14 removed useless
2009-01-12 immler 2009-01-12 simplified usage of remote-script; added compatible remote-atps
2008-10-13 wenzelm 2008-10-13 ** Update from Fabian ** added remote prover functions;