Thread Links | Date Links | ||||
---|---|---|---|---|---|
Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
On 20 Mar 2015, at 12:01, Vincent Lefevre <vincent@xxxxxxxxxx> wrote: > BTW, there's an error in Draft 9.5 page 29 line 18: > > "The function newDec initializes a bare interval:" > > It doesn't initialize a bare interval, but a *decorated* interval > (or its decoration part). Yes, not good wording. Rephrased. John P