Roger,

Thanks, so the issue is then with an older release of the tool.

Regards,
Jon

On Tue, Jan 15, 2013 at 4:51 PM, Roger Bishop Jones <r...@rbjones.com> wrote:

> **
>
> On Tuesday 15 Jan 2013 16:42:21 Jon Lockhart wrote:
>
> Is 2.9.1w2 the latest release of ProofPower on the git hub?
>
>
>
> 2.9.1w5 is available at lemma-one.com.
>
>
>
> Roger Jones
>
> _______________________________________________
> Proofpower mailing list
> Proofpower@lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
>
>
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to