At Tue, 12 Jul 2005 15:56:29 +0200, Emilio Lopes wrote:
> Sometimes hex numbers are written lowercase (#xdfff) and sometimes
> uppercase (#x10FFFF). Was it intended that way?
>
> Also somewhere you mention "whitescape". I guess you meant "whitespace"...
Fixed for the next draft (settled on uppercase for hex) - thanks!
Matthew