[Ur] XHTML character entities

[Karn Kallio]

On Wednesday, November 16, 2011 08:10:57 AM Adam Chlipala wrote:
> James Parker wrote:
> > Sorry for taking so long to get back to you. Yes, it now parses and
> > compiles "©". The only thing is Firefox 8 (OS X 10.7) adds an
> > extra character before the copyright symbol. I have attached a
> > screenshot.
> Weird.  Works fine in Chrome and Opera.  Right now, I'm compiling the
> character entities into normal UTF-8, but perhaps it's necessary to
> output them as character entities.  I'll look into it soon.  Thanks for
> the bug report!
> 

I think Firefox is using ISO8859-1 character encoding; if the encoding is 
manual changed with the control sequence view->character encoding->utf8 it 
displays without the prefix.

> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur