I have set up a project at google.

It is called pp-contrib uses mercurial and is under GPL2.

The project description currently has three uses which we 
have discussed, but it sounds like Rob doesn't like the idea 
of this project hosting Phil's reuse of code-base ideas (if 
I understand them both right) so if this is confirmed I will 
remove the third usage.

On the patches I have no axe.
My understanding was that user contributions by patch had 
been previously encouraged and that this was supposed to be 
done by mailing the patch to the ProofPower mailing list.

The proposal on patches is that pp-contrib provides a 
repository for any patches which a user might like to offer, 
and that it might also provide a simple way of installing an 
arbitrary selection of such patches before building 
ProofPower.  It is up to Rob whether he uses this for official 

Some of the things I have which might go in a tarball 
contrib might strictly be better as patches.
One thing which I might like to do with patches is simply 
make things visible which are at present hidden, so that 
they can be used in new facilities without duplicating the 


Proofpower mailing list

Reply via email to