17 Dec
2010
17 Dec
'10
8:18 p.m.
Alexandre Rademaker arademaker@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