[Ur] File I/O

[Marc Weber]

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