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

Re: [ProofPower] ProofPower RCS Repository

2012-08-06 Thread Roger Bishop Jones
On Monday 06 Aug 2012 19:40, Rob Arthan wrote: > Could you try again with > PPMOTIFLINKING=dynamic ? That worked fine. I'm afraid I can't help with mercurial or git, but I am due for a new development regime so I will be following you closely. Roger __

Re: [ProofPower] ProofPower RCS Repository

2012-08-06 Thread Rob Arthan
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 to be able to map >> between

Re: [ProofPower] ProofPower RCS Repository

2012-08-06 Thread Roger Bishop Jones
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 to be able to map > between Mercurial or Git and RCS. Any feedback on this > would be gratefully