[Ur] New release

Adam Chlipala adamc at impredicative.com
Sat Mar 10 13:31:52 EST 2012


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

CHANGELOG for this release:

- 'ORDER BY RANDOM'
- New Basis members: diffInMilliseconds, toMilliseconds
- <radio> widget now returns 'option string' instead of 'string'
- '-dumpSource' command-line flag
- Bug fixes and optimization improvements




More information about the Ur mailing list