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.<br>
<br clear="all">James Parker<br><br>
<br><br><div class="gmail_quote">On Sat, Nov 5, 2011 at 3:07 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@impredicative.com" target="_blank">adamc@impredicative.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Adam Chlipala wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Marc Weber wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Excerpts from Adam Chlipala's message of Tue Nov 01 14:34:11 +0100 2011:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
The error message isn't meant to suggest it's invalid HTML, but merely<br>
that the Ur/Web lexer doesn't support it yet. I could copy-and-paste a<br>
table of all valid HTML entities into the Ur/Web lexer/parser source<br>
code. Is that the best way to support all these little shorthands?<br>
(You're not losing expressive power, as far as I know, since the<br>
"&#NNN;" form is already supported.)<br>
</blockquote>
The best way is to make urweb read and understand xml dtd files or such.<br>
(my 2 cents)<br>
</blockquote>
<br>
I'm looking at an HTML 4 DTD at <a href="http://w3.org" target="_blank">w3.org</a>, and the text "copy" doesn't appear in it anywhere. Are these character identities (e.g., "©") really part of the DTD?<br>
</blockquote>
<br>
I found some files at <a href="http://w3.org" target="_blank">w3.org</a> that seem to specify this information. I don't know if they're called "DTDs," but they seem to get the job done. :)<br>
<br>
The latest Mercurial repo version of Ur/Web now supports all the entities:<br>
<a href="http://hg.impredicative.com/urweb" target="_blank">http://hg.impredicative.com/<u></u>urweb</a><br>
<br>
James, could you verify that this feature now works as you expect? Thanks!<br>
<br>
______________________________<u></u>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/<u></u>cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div><br>