| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
I also vote for, but I agree with Vladik that "Not-required" seems clearer. An alternative is the single English word "Unneeded". Ned, does it have the intended meaning in this context? I hope this small change can be a friendly amendment. John Pryce > On 5 Jan 2017, at 23:15, Kreinovich, Vladik <vladik@xxxxxxxx> wrote: > I vote for. > > My minor concern is with the title of the appendix: Not required features.