[Ur] urweb-callback library, urweb patches

Adam Chlipala adamc at csail.mit.edu
Tue Apr 15 18:30:49 EDT 2014


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.



More information about the Ur mailing list