[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Fri Aug 5 17:06:42 EDT 2016


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

CHANGELOG for this release:

- Compatibility fixes for C compilers and OpenSSL
- Starting to change SQL functions to return results in most natural order
   - Step 1: queryL
- Bug fixes




More information about the Ur mailing list