Re: GH. Again.

[Neil Jerram]

>>>>> "Neil" == Neil Jerram <address@hidden> writes:

>>>>> "Marius" == Marius Vollmer <address@hidden> writes:
    Marius> Neil Jerram <address@hidden> writes: I'll try to
    Marius> put the plan so far into intelligible words, and add it to
    Marius> the Manual, without changing anything else, ok?
    >>> Sounds fine.  Actually, I should have my autotools back in
    >>> working order sometime this evening, so I'd be happy to do
    >>> this task for you, if you'd prefer.

    Marius> Yes, please do so.  Thanks!

    Neil> I'm not quite finished with this tonight; should be
    Neil> committed tomorrow.

OK, this is in now - please review and amend as you think appropriate.

Thanks,
        Neil