[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Sun May 15 13:02:20 EDT 2016


Available as usual at: http://www.impredicative.com/ur/

CHANGELOG for this release:

- Support for HTML <meta> tags
- Resource-integrity attributes for HTML <link>
- Bug fixes and optimization improvements




More information about the Ur mailing list