[ProofPower] OpenProofPower version 2.9.1w2

[Rob Arthan]

Oops! The URL should read:

http://www.lemma-one.com/ProofPower/getting/getting.html

and i forgot to mention find_thm (and associates) as a new feature that I have been finding very useful.

Regards,

Rob.

On 1 Feb 2011, at 21:18, Rob Arthan wrote:

> It is my pleasure to announce that the latest release of OpenProofPower, version 2.9.1w2, is now available. The release incorporates bug fixes and enhancements including the beginnings of support for higher-order matching in the proof infrastructure and operation under the Cygwin platform on Microsoft Windows. For more details and to download the new release go to:
> 
> http:/www.lemma-one.com/ProofPower/getting/getting.html
> 
> I would like to thank Mark Adams, Phil Clayton and Roger Jones for help with this release and to thank Colin O'Halloran and his colleagues at QinetiQ for sponsoring and testing the port to Cygwin.
> 
> Regards,
> 
> Rob.
> _______________________________________________
> Proofpower mailing list
> Proofpower at lemma-one.com
> http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com