[Ur] PATCH: <progress> tag

Adam Chlipala adamc at impredicative.com
Sat Sep 24 10:19:40 EDT 2011


austin seipp wrote:
> I added a<progress>  tag to the standard library.
>    

Am I right that this tag is new in HTML5, and that all previously 
supported tags were pre-HTML5?  It's not clear to me that it isn't a 
useful function of the compiler to detect HTML5 uses as browser 
incompatibility bugs. ;)



More information about the Ur mailing list