Re: [isabelle] jEdit problems
On Fri, Jun 26, 2015 at 11:32 AM, Quentin Hibon <
quentin.hibon at polytechnique.edu> wrote:
> Regarding the SystemOnTPTP messsage, Jasmin Blanchette gave the solution
> to have remote_vampire working again, so I'll just reproduce his answer
> It turns out SystemOnTPTP has moved to a new URL. If you want it to work
> again, you will need to change the file
> That does not tell you why your settings do not get applied, but at
> least you'll get rid of the error message.
Thanks. That fixes it!
This archive was generated by a fusion of
Pipermail (Mailman edition) and