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