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 <[email protected]> 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 > [email protected] > http://common-lisp.net/mailman/listinfo/elephant-devel _______________________________________________ elephant-devel site list [email protected] http://common-lisp.net/mailman/listinfo/elephant-devel
