Excerpts from Adam Chlipala's message of Tue Nov 01 14:34:11 +0100 2011: > The error message isn't meant to suggest it's invalid HTML, but merely > that the Ur/Web lexer doesn't support it yet. I could copy-and-paste a > table of all valid HTML entities into the Ur/Web lexer/parser source > code. Is that the best way to support all these little shorthands? > (You're not losing expressive power, as far as I know, since the > "&#NNN;" form is already supported.) The best way is to make urweb read and understand xml dtd files or such. (my 2 cents)
Marc Weber _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
