[Ur] New release

[Eran Meir]

Hi,

The pull request for homebrew-core was merged, so there's no more need to
use the experimental tap.

I updated to the latest release just before they merged.

Best regards,
Eran.


On Tue, Jun 21, 2016 at 6:07 PM, Adam Chlipala <adamc at csail.mit.edu> wrote:

> Available as usual at: http://www.impredicative.com/ur/
>
> CHANGELOG for this release:
>
> - Client-side: detect session timeout and ask the user to reload
> - New Basis math functions: abs, acos, asin, atan, atan2, cos, exp, floor,
> log, pow, sqrt, sin
> - Compatibility fixes for newer C and SML compilers
> - Bug fixes
>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160622/529ce5b3/attachment.html>