Adam,<br>Thanks for your work.<br>And I wanted to ask a simple question: why don't you create a repository with Ur sorcecode e.g. on github?<br><br>Kind regards,<br>Kirill Zaborsky <br><br><div class="gmail_quote">2009/10/9 Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@impredicative.com">adamc@impredicative.com</a>></span><br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Available as usual at: <a href="http://www.impredicative.com/ur/" target="_blank">http://www.impredicative.com/ur/</a><br>
<br>
CHANGELOG for this release:<br>
<br>
- Bug fixes<br>
- Improvement to choice of line number to cite in record unification error<br>
messages<br>
- SELECT DISTINCT<br>
- New extra demos: orm1 and versioned1<br>
<br>
_______________________________________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div><br>