[Ur] New release

Adam Chlipala adamc at impredicative.com
Tue Nov 24 10:02:35 EST 2009

Previous message: [Ur] Few bugs, questions and feature requests
Next message: [Ur] New issue tracker
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

CHANGELOG for this release:

- Improved Internet Explorer compatibility

Previous message: [Ur] Few bugs, questions and feature requests
Next message: [Ur] New issue tracker
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Ur mailing list