[Ur] New release

Adam Chlipala adamc at impredicative.com
Fri Oct 9 15:20:08 EDT 2009


Kirill Zaborski wrote:
> And I wanted to ask a simple question: why don't you create a 
> repository with Ur sorcecode e.g. on github?

I develop Ur with Mercurial, so GitHub probably wouldn't work well.  
What would be the preferred way to export a repo?



More information about the Ur mailing list