Re: [isabelle] Isabelle2015-RC5 available for final testing



Hi Alfio,

> I am happy to report that, in this version, sledgehammer is performing very
> well and fast on Windows. Thanks a lot for taking into consideration my
> confusing reports.

Thatâs great news! Thanks for the update.

Cheers,

Jasmin





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