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 > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
