Re: [slime-devel] Improvement of compilation buffer