Alexandre Rademaker <arademaker at gmail.com> writes: > This is an old issue! We now have quicklisp! Quicklisp doesn't solve that particular problem. You can still get different versions of slime between different people, even with Quicklisp. (It just depends who updates when.) Zach