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