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@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