../ TeXmacs-1.0.2.11-src.tar.gz 30-Dec-2003 01:51 2330450 TeXmacs-1.0.2.11-src.tar.gz.desc 30-Dec-2003 01:51 220