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



Hi Gottfried,

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

> I'm assuming it's related to this comment by Makarius, that a new Cygwin is being used:
> 
> http://www.mail-archive.com/isabelle-dev at mailbroy.informatik.tu-muenchen.de/msg05386.html:
> The following Isabelle snapshot http://www4.in.tum.de/~wenzelm/unofficial/UITP2014 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.

Cheers,

Jasmin





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