[PATCH] case-insensitive targets

[Dirk Mueller]

On Mit, 18 Jun 2003, Ralf Hoelzer wrote:

> The attached patch makes all HTML target names case-insensitive, according to 
> the HTML 4.01 specs. I tested this with all the combinations I could come up 
> with.

Thanks. I integrated the patch in a Mozilla-compatible way. 


-- 
Dirk