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