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

Reply via email to