Re: Comments in GDP, Was: comments

[Graham Percival]

On Thu, 28 Feb 2008 11:19:04 +0100
"James E. Bailey" <address@hidden> wrote:

> On 28.02.2008, at 11:07, Mats Bengtsson wrote:
> 
> > Did you search for "Comment" in the index of the Tutorial?
> >
> > However, you are right that it seems to be missing in the NR,
> > where it also should be included for completeness.

I've added a FIXME for NR 3.

> Learning manual. Gotcha. Just out of curiosity, why are these split  
> up?

Search the mailist archives.

> For example, what is the difference between a "user manual" and a  
> "learning manual"?

We're not using the term "user manual", but obviously I didn't
change it somewhere.  It shoudl be "Notation Reference" everywhere,
which gives a much better hint about its purpose.

Cheers,
- Graham