[GiNaC-list] set_TeX_name() ?

Richard B. Kreckel kreckel at ginac.de
Wed Jan 23 09:26:20 CET 2013

On 01/20/2013 10:10 PM, Dale Lukas Peterson wrote:
> What needs to happen in order for this patch to get pushed in?

Well, generally, a complete and tested patch that applies to master. 
(And somebody who finds the time to push it. This seems to be difficult.)

Anyway, it is in now. Thanks!
Richard B. Kreckel

More information about the GiNaC-list mailing list