[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Tue Aug 19 11:31:08 EDT 2014


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

CHANGELOG for this release:

- Improvements to HTML model
- Bug fixes and optimization improvements



More information about the Ur mailing list