4 Nov
2006
4 Nov
'06
9:57 a.m.
Marco Baringer <mb@bese.it> writes:
i have a new slime feature but i'm debating whethere it's actually useful as part of standard slime or just bloat:
I think it is bloat. It would be better to spend time on improving the manual. Cheers, -- Matthias Köppe -- http://www.math.uni-magdeburg.de/~mkoeppe