[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Sat Aug 30 08:49:53 EDT 2014

Previous message: [Ur] New release
Next message: [Ur] A few questions about Ur/Web
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

CHANGELOG for this release:

- New HTML attribute: 'role'
- Bug fixes

Previous message: [Ur] New release
Next message: [Ur] A few questions about Ur/Web
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Ur mailing list