Re: [GiNaC-devel] Going 1.5?