[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!
   -richy.
-- 
Richard B. Kreckel



More information about the GiNaC-list mailing list