[Ur] New release

Adam Chlipala adamc at csail.mit.edu
Sun Dec 20 14:40:28 EST 2015


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

CHANGELOG for this release:

- New .urp directive: 'jsFile'
- Merged an experimental automatic caching optimization, triggered with 
'-sqlcache'
- Bug fixes




More information about the Ur mailing list