Re: please comment on global identifiers proposal

[Thomas Tam <thomas.tam@xxxxxxxxxx>]

The latest version draft looks good to me.

-Thomas

Ronald van der Pol wrote:
> On Thu, Aug 21, 2008 at 14:36:18 +0200, Ronald van der Pol wrote:
>
>   
> > Our mail sort of crossed :-) Thanks. I will send a new version shortly.
> >     
>
> Tom, Thomas, Lars,
>
> Attached the version with Thomas' comment applied.
>
> 	rvdp
>