Am Samstag, den 29.10.2011, 11:51 -0600 schrieb Robert Dodier: > Hi, I'm trying to clean up maxima/share to some extent. > Here's what I have done so far. If this doesn't elicit too > many complaints, I'll merge & push these commits. > > best Yes, it is a good idea to do these cleanups. Dieter Kaiser