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

[Jens Vollinga]

Hi,

Am 05.07.2010 09:25, schrieb Richard B. Kreckel:
> PS: Jens, say, what do you think about releasing 1.5.8?

Jens says: let's do it! :-)

I'll make the release this evening or tomorrow.

Regards,
Jens