Hi, I'm planning to make a branch for Maxima 5.25 on Aug 1, with a release to follow shortly thereafter. best Robert Dodier