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