[Ur] PATCH: -version flags for urweb compiler

Adam Chlipala adamc at impredicative.com
Tue Aug 2 20:22:07 EDT 2011


austin seipp wrote:
> Er, there seems to be a slight err in the build when using the
> .hg_archival.txt case.

I admit, I didn't test this part. ;)  Thanks for the fix; it's pushed now.



More information about the Ur mailing list