Re: [Ur] New release

[Adam Chlipala]

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

_______________________________________________
Ur mailing list
Ur@impredicative.com
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur