- fixed a small oops: iprint() didn't reset the number output format to decimal
[ginac.git] / ginsh /
drwxr-xr-x   ..
-rw-r--r-- 592 Makefile.am
-rw-r--r-- 13341 Makefile.in
-rw-r--r-- 12527 ginsh.1
-rw-r--r-- 1721 ginsh.h
-rw-r--r-- 466 ginsh_fcn_help.sed
-rw-r--r-- 4734 ginsh_lexer.ll
-rw-r--r-- 292 ginsh_op_help.sed
-rw-r--r-- 21901 ginsh_parser.yy