[Ur] New release

Adam Chlipala adamc at impredicative.com
Sat Sep 12 10:41:49 EDT 2009


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

CHANGELOG for this release:

- Bug fixes
- Optimization improvements
- New set of extra demos in demo/more




More information about the Ur mailing list