share clean up: moving stuff around



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