| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
Dmitry On 7 Mar 2015, at 04:47, Dmitry Nadezhin <dmitry.nadezhin@xxxxxxxxxx> wrote: > The specification in subsection 9.4.5 "Portable decorated intervals" uses newDec(x). > Is section 9.8 "Operations on/with decorations" a proper place to formulate this property of newDec ? It's a fair question. Can you suggest a more logical place to put newDec()? John Pryce