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
> below:
>
> [quote]
> It turns out SystemOnTPTP has moved to a new URL. If you want it to work
> again, you will need to change the file
>
>     src/HOL/Tools/ATP/scripts/remote_atp
>
> replacing
>
>   "http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTPFormReplyâ;;
>
> with
>
>   "http://pages.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTPFormReplyâ;;
> [/quote]
>
> 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 MHonArc.