[Ur] New release

Adam Chlipala adamc at impredicative.com
Thu Mar 29 11:19:15 EDT 2012

Previous message: [Ur] Opaque ascription
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

CHANGELOG for this release:

- New JavaScript FFI function: setInnerHTML
- Bug fixes
- Documentation improvements

Previous message: [Ur] Opaque ascription
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Ur mailing list