[Ur] New release

[Kirill Zaborski]

Adam,
Thanks for your work.
And I wanted to ask a simple question: why don't you create a repository
with Ur sorcecode e.g. on github?

Kind regards,
Kirill Zaborsky

2009/10/9 Adam Chlipala <adamc at impredicative.com>

> Available as usual at: http://www.impredicative.com/ur/
>
> CHANGELOG for this release:
>
> - Bug fixes
> - Improvement to choice of line number to cite in record unification error
>  messages
> - SELECT DISTINCT
> - New extra demos: orm1 and versioned1
>
> _______________________________________________
> 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/20091009/7efa0972/attachment.htm>