This sounds like a good idea. As I understand it, this would be primarily intended for things built on top of ProofPower, e.g. new theories, but wouldn't exclude projects that contain the entire OpenProofPower source code base if, for example, they need lower-level integration with ProofPower or are even experimental new features of ProofPower. Is that right?

Personally, I am happy with GPL (2 or 3).

I have used Subversion on a few projects and found it too inflexible. Without access to the Subversion repository a number of things aren't possible. (Simply being connected to the internet doesn't necessarily solve this: in my case, the Subversion server was only visible from an internal company network.) Whilst the Subversion working copy is local to a machine, without visibility of the repository I couldn't see the log of previous commits, nor make any commits. Working on more than one commit was a pain. (Sometimes, I found that a particular enhancement required a logically separate enhancement to be made first...) Fortunately the Git-Subversion interface worked quite well and I was able to use Git locally to prepare a series of commits and upload them once I was connected to the Subversion repository.

My preference is Git but, having read about Mercurial, I would be happy to work with that. Or possibly Darcs - another distributed version control system. Definitely not Subversion though!

Regarding source code hosting, I can't offer any insight into the relative merits except to point you at Wikipedia:


Roger Bishop Jones wrote:
Rob and I have been discussing creating a publicly hosted project for contributions from/to the ProofPower community.

We have not got very far yet in settling details, but the proposal so far is to use google code and to use GPL for the overall project licence. So far as I understand it there is nothing to prevent individual contributors from making their contributions available under additional more liberal licences (then a user gets the choice of which licence to comply with). That makes sense to me for things similar to "maths_egs" which would be like subprojects, but not necessarily for the kind of thing one does with patches. In the former case I would expect that each user or each subproject would get its own directory in the repository, but not in the latter.

We would have a choice of svn or mercurial as repository.
I have not used either so opinions on which would be best would be appreciated. (I've been on CVS for a long time, but I use it only in a very simplistic way since I don't have any real collaborations going on)

I think the system should cover either substantial pieces of work which result in a database with one or more new theories, or patches.
Ideas on how this all might work would be appreciated.

I agreed to set up the project, possibly I'm not the best person, but I will do it unless we get a better offer.
Of course, it doesn't have to be just one administrator.

Anyone interested, anyone got any ideas or opinions?

Roger Jones

Proofpower mailing list

Proofpower mailing list

Reply via email to