utils.h: use <stdint.h> (if available) instead of reinventing it.
[ginac.git] / ginsh /
drwxr-xr-x   ..
-rw-r--r-- 691 Makefile.am
-rw-r--r-- 14973 ginsh.1.in
-rw-r--r-- 1731 ginsh.h
-rw-r--r-- 1273 ginsh_extensions.h
-rw-r--r-- 466 ginsh_fcn_help.sed
-rw-r--r-- 5243 ginsh_lexer.ll
-rw-r--r-- 292 ginsh_op_help.sed
-rw-r--r-- 26328 ginsh_parser.yy