Re: [isabelle] Cygwin Isabelle2014 sledgehammer libwww-perl missing

Hi Gottfried,

Am 11.06.2014 um 14:54 schrieb Gottfried Barrow <igbi at>:

> I'm assuming it's related to this comment by Makarius, that a new Cygwin is being used:
> at
> The following Isabelle snapshot may be
> used for testing -- it happens to include many other updates of contributing components, including
> a fresh Cygwin snapshot from some weeks ago.

Indeed, this is probably the issue. Makarius is currently on vacation, but he would probably be the best person to help you there.

You could also try running the script "src/HOL/Tools/ATP/scripts/remote_atp" directly and see if/why it fails more directly than through Isabelle.



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