Gustavo wrote:

> I've realized that elephant-1.0 is actually newer than elephant-unstable. I
> made a few more changes and updated the patch to work with elephant-1.0.

We should probably delete elephant-unstable. Ian?


> The configuration was tested without the feature :elephant-without-optimize
> and all tests from elephant test suite passed.

I'm going to review and test; it might take me a couple of days or even
weeks. It'd be good to have some more eyes for this one.

Thanks for your work, Gustavo!

  Leslie


_______________________________________________
elephant-devel site list
elephant-devel@common-lisp.net
http://common-lisp.net/mailman/listinfo/elephant-devel

Reply via email to