added a way to add more functions to ginsh in the file ginsh_extensions.h
[ginac.git] / ginsh / ginsh_extensions.h
2001-06-22 Christian Baueradded a way to add more functions to ginsh in the file...