Tejas Belagod <tbela...@arm.com> writes: > New patch attached. OK?
> +There are two standard integer attributes: @code{int}, the name of the > +code in lower case, and @code{INT}, the name of the code in upper case. I don't think this is true. So the surrounding paragraph reduces to: It is possible to define attributes for ints as well as for codes and modes. Attributes are defined using: Looks good to me otherwise, thanks, although I can't approve it. (I can't approve my own patch either, hint hint, ping ping.) Thanks for your patience too. Richard