OK. Got the latest from Mercurial and it works fine. Thanks. On Mon, 09 May 2011 09:32:09 -0400, Adam Chlipala <[email protected]> wrote: > David Snider wrote: >> Here's the errors I'm getting >> > > My guess is you're using the latest Ur/Web compiler release instead of > the latest version from the public Mercurial repo, which has bug fixes > a-plenty. I should make a new release soon; I'm not really sure what > the criteria are for deciding when to make releases, but, based on my > schedule, I can't do the work of putting out the release for at least > another few days. > > _______________________________________________ > Ur mailing list > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
