Re: [GiNaC-devel] [PATCH] parser: handle abbreviations as advertized in the manual.