]> www.ginac.de Git - ginac.git/search
all man pages now display the current GiNaC version number