URL: ftp://ftp.texmacs.org/pub/TeXmacs/targz/TeXmacs-1.0.4.2-src.tar.gz
Login: undefine
MD5: 4e9afcdc7625c4849111aa2a494081f3
Fetched-by: $Id: file-fetcher.pl,v 1.34 2004/02/23 20:37:40 siefca Exp $
Time: 1093958998