imaxima.pdf
imaxima.t2p
imaxima.info
imaxima.html
Makefile
Makefile.in
mdate-sh
stamp-vti
version.texi
