]> www.ginac.de Git - ginac.git/search
- ginsh can handle multiple input files which are specified on the command line