[slime-devel] Re: Problems with cvs slime