[Ur] HTML5 support (was: Re: PATCH: <progress> tag)

[Karn Kallio]

On Saturday, September 24, 2011 05:16:32 PM Adam Chlipala wrote:
> austin seipp wrote:
> > I was going to strike a compromise and ask if it would be allowable to
> > reject any HTML5 elements by default unless a '-html5' flag was passed
> > or something, since that seems much more sound, but beyond elements
> > there are a few new attribute definitions as well as deprecations etc.
> 
> That sounds nasty, but it could easily be supported by splitting some
> HTML stuff into separate .urs files that are used based on command-line
> flags or project settings.
> 
> I'd like to wait for other opinions to be expressed here.
> 

Maybe work towards allowing arbitrary schemas defined in libraries, so the 
output could be html5, atom, soap, etc.  Of course this is very easy to say 
and I imagine considerably harder to implement. 


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