[Ur] New release

Adam Chlipala adamc at impredicative.com
Sat Sep 19 16:38:44 EDT 2009


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

CHANGELOG for this release:

- Bug fixes
- Optimization improvements
- Expanded grid demo in demo/more: optional columns, sorting, filtering,
   paging, selecting rows, aggregate row




More information about the Ur mailing list