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 [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
