Re: [GiNaC-list] GiNaC on the web