[Ur] New release

Adam Chlipala adamc at impredicative.com
Sat Oct 10 18:01:02 EDT 2009


A read-only Mercurial repo is now linked from the main Ur page:
    http://hg.impredicative.com/urweb




More information about the Ur mailing list