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

Reply via email to