LISP Development



I was wondering as to how one does lisp development within Maxima ?? ?
Has anyone ever integrated ACL2 within MAXIMA ??
David Blubaugh