[Ur] New release

Adam Chlipala adamc at impredicative.com
Sun Nov 8 12:42:48 EST 2009


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

CHANGELOG for this release:

- Bug fixes
- Optimization improvements
- Removed a restriction that prevented some RPCs and calls to sleep or recv
  from compiling




More information about the Ur mailing list