Dear All,
I am happy to announce that I have now ported the ProofPower source from RCS to
git.
The source is available on GitHub. The URL is:
http://github.com/RobArthan/pp
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:
http://github.com/RobArthan/pp-contrib
This includes the source of my case studies and of work in progress on
compatibility
with UTF-8.
To download stable releases as tarballs, please continue to use the ProofPower
website at URL:
http://www.lemma-one.com/ProofPower/getting
There is a development snapshot there of version 3.1w2, which was built from
the
current state of the GitHub repository.
Please let me know if you have any problems with the GitHub repositories.
Regards,
Rob.
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com