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

5 Jul 2010

      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

Jens Vollinga