added a do-nothing function option "dummy()" to simplify the creation of
[ginac.git] / CVSROOT / editinfo
1999-11-08 Richard Kreckelinitial checkin