Dear All,

I am happy to announce that I have now ported the ProofPower source from RCS to 
The source is available on GitHub. The URL is:

This seemed like a timely moment to include PPDaz in the open source offering.
So ProofPower and OpenProofPower are now the same thing.

I have also created the ProofPower Contributors’ Repository at URL:

This includes the source of my case studies and of work in progress on 
with UTF-8.

To download stable releases as tarballs, please continue to use the ProofPower 
website at URL:

There is a development snapshot  there of version 3.1w2, which was built from 
current state of the GitHub repository.

Please let me know if you have any problems with the GitHub repositories.


Proofpower mailing list

Reply via email to