TeXmacs-1.0.6.7-src.tar.gz