On Fri, Sep 3, 2010 at 10:51 AM, Raymond Toy <toy.raymond at gmail.com> wrote:
> I notice there are quite a few things in the archive directory. ?Is
> there some kind of criterion for just blowing things away or moving them
> to the archive directory?
Not really. Over the years I've moved several things into
maxima/archive because, well, there were already a bunch
of things there. We could probably nuke the whole thing.
best,
Robert Dodier