[elephant-cvs] CVS update: elephant/src/elephant.lisp