add indexing on features
Why not depreciate "indexing" and replace it by "note" ?
I don't care about such naming. "note" is as good as "indexing" - for a first time implementation it may be a bit better to have "note", but as there already is eiffel code using "indexing" it's a bit worse to have "note". As "note" is the ECMA notation, I'd vote for this.
So I think this will not make it into adler and not even bell.
@cadrian to add "indexing" on features you thought of putting it between "is" (or "obsolete", if available) and the precondition, right?
Yes. Anyway "is" could become optional as ECMA removed it. (see #90).