Thanks Joel,

This is the patch for it.

Best regards,
Hui

On Thu, Dec 10, 2009 at 16:15, Joel Brobecker <brobecker@adacore.com> wrote:
>> Could someone help me change it or tell me how to change it?
>> Thanks a lot.
>
> Why don't you send us the text that you want to change, with the new text,
> and I will fix the WWW. It's a pain to change it, because there are two
> copies that need to be kept in sync.
>
> --
> Joel
>