On 03/05/2013 09:33 AM, Adam Chlipala wrote: > I've made a tiny change which should fix this problem, in the public > Mercurial repository for Ur/Web. Does it work now? >
Yes, this has fixed the problem. Thanks! -- Istvan Chung _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
