Re: [elephant-devel] Another tiny documentation fix

2008-02-10 Thread Leslie P. Polzer
> It appears from the post that you are computing it against an "old" and > new" repository, presumably local copies that you have made. This > prevents me from being able to apply the patches directly. I was using darcs diff which automatically generated this. > So what I do is just: Tha

Re: [elephant-devel] Another tiny documentation fix

2008-02-10 Thread Robert L. Read
I have applied this diff, thank you. It appears from the post that you are computing it against an "old" and new" repository, presumably local copies that you have made. This prevents me from being able to apply the patches directly. Although there may be circumstances in which you need to do th

[elephant-devel] Another tiny documentation fix

2008-02-04 Thread Leslie P. Polzer
Amends OPEN-STORE/CLOSE-STORE docs. I hope the patch format is alright, now. If not, slap me again. LeslieMon Feb 4 14:18:22 CET 2008 [EMAIL PROTECTED] * Amend OPEN-STORE and CLOSE-STORE docs. --- old-elephant/src/elephant/controller.lisp 2008-02-04 19:58:21.72196 +0100 +++ new-elephant