Rob Arthan wrote:
On 12/04/2010 16:19, Phil Clayton wrote:
Roger Bishop Jones wrote:
...
Perhaps one directory for "maths_eq"-like contributions, one for
contributions in the form of patches:
What kind of patches are you envisaging? Do you have any examples in mind?
(I'm not sure if that w
Dear All,
Many thanks to Roger for making pp-contrib happen.
For reasons that I do not understand, the following reply to Phil's last
post arrived in the mailing list with "** SPAM **" in the subject line.
It is in the archive, but I expect it won't have got to many
subscribers. So I am tryin
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
On Monday 12 Apr 2010 16:19, Phil Clayton wrote:
> That sounds flexible enough. Does this all go into one
> repository? (I don't know what is possible or most
> suitable using Mercurial on google code.)
Well I don't know enough about mercurial so I am relying on
Rob to say if we are proposin
Roger Bishop Jones wrote:
...
We could have one directory for such things, with
subdirectories for each "contribution" and some rules for
these to permit a uniform and simple way of installing
whatever selection a user wants to make use of, and then
have different top level directories for t
On Wednesday 07 Apr 2010 14:05, Phil Clayton wrote:
> Roger,
>
> 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
> cod
Roger,
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 Pr
