On 2012-06-12 11:26, Richard Sandiford wrote:
> 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.
Both patches approved.
r~
