Re: [ProofPower] ProofPower RCS Repository

2012-08-17 Thread Phil Clayton
On 17/08/12 15:12, Phil Clayton wrote: Also, I encountered some confusing behaviour in that if PPRCSDIR is relative, it must be relative to PPDEVHOME, not the current directory, so I updated the comment. I failed to read the notes below where that was documented. But I think it's relative to

Re: [ProofPower] ProofPower RCS Repository

2012-08-17 Thread Phil Clayton
On 06/08/12 19:40, Rob Arthan wrote: roger, On 6 Aug 2012, at 14:08, Roger Bishop Jones wrote: On Sunday 05 Aug 2012 15:36, Rob Arthan wrote: If anyone feels minded to look at this and advise how it could be adapted to work with Mercurial or Git, I would be very grateful. My ideal would be t