[Ur] PATCH: -version flags for urweb compiler

[austin seipp]

Quick turnaround!

19:46:00 a at kratos ~ urweb
The Ur/Web compiler, version 20110715 + node:
b5d78407886dfbcdc8dc0cef0f7934306e650b8d
19:46:14 a at kratos ~

Thanks again Adam!

On Tue, Aug 2, 2011 at 7:22 PM, Adam Chlipala <adamc at impredicative.com> wrote:
> 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.
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>



-- 
Regards,
Austin