special commands '.cmd' can now also be invoked with '//GiNaC-cint.cmd'
[ginac.git] / cint /
drwxr-xr-x   ..
-rw-r--r-- 583 Makefile.am
-rw-r--r-- 13484 Makefile.in
-rw-r--r-- 7604 ginaccint.1
-rw-r--r-- 19590 ginaccint.bin.cpp
-rw-r--r-- 250 ginaccint.in