[Ur] urweb-callback library, urweb patches

[Sergey Mironov]

Good news, thanks! Hope to see TechEmpower results as well.

Sergey

2014-04-16 2:30 GMT+04:00 Adam Chlipala <adamc at csail.mit.edu>:
> On 02/26/2014 05:32 AM, Sergey Mironov wrote:
>>
>> The patches are in attach, please consider reviewing/merging!
>
>
> I was waiting for the TechEmpower benchmark project to publish the next
> round with the latest Ur/Web included, but I finally ran out of patience and
> incorporated your patches, from the Github repo.  Sorry for the long wait.
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur