[Ur] New release

Adam Chlipala adamc at impredicative.com
Sat Jan 30 20:28:10 EST 2010


I've updated the release tarball to incorporate the build system fixes 
discussed on this list throughout today.



More information about the Ur mailing list