That is very out of date; if you check the elephant home page we recommend you use elephant-1.0 (same path)
Sent from my iPhone On Mar 15, 2009, at 7:10 PM, Richard KLINDA <rkli...@gmail.com> wrote: >>>>>> Regarding 'Re: another installation problem'; Ian Eslick adds: > > >> Which elephant repo are you using? > > http://www.common-lisp.net/project/elephant/darcs/elephant > > -- > Richard > > _______________________________________________ > elephant-devel site list > elephant-devel@common-lisp.net > http://common-lisp.net/mailman/listinfo/elephant-devel _______________________________________________ elephant-devel site list elephant-devel@common-lisp.net http://common-lisp.net/mailman/listinfo/elephant-devel
