enhanced ginaccint.bin.cpp (help, read from file, save commands)
[ginac.git] / cint /
drwxr-xr-x   ..
-rw-r--r-- 1188 Makefile.am
-rw-r--r-- 15058 Makefile.in
-rw-r--r-- 368 dummies.cpp
-rw-r--r-- 26621 dummies.h
-rw-r--r-- 8188 dummies.pl
-rw-r--r-- 6156 ginaccint.1
-rw-r--r-- 15699 ginaccint.bin.cpp
-rw-r--r-- 245 ginaccint.in