[Ur] HTML5 Semantic Tags

Adam Chlipala adamc at csail.mit.edu
Sun May 18 19:05:23 EDT 2014


On 05/10/2014 08:51 PM, David Snider wrote:
> I wanted to add the new HTML5 semantic tags to UrWeb. Attached is a 
> patch, let me know if this will work.

Patch accepted!  I'm no expert in HTML5, so I wouldn't know it if one of 
these tags were fake, but I don't think they're doing any harm. :)



More information about the Ur mailing list