[Ur] New release

[Adam Chlipala]

Great, thanks!  Any advice on the right way to cite the Homebrew package 
on the Ur/Web home page, similarly to how other packages are cited now?

On 06/22/2016 04:35 AM, Eran Meir wrote:
> 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 
> <mailto: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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20160622/39bc87ea/attachment.html>