Name                    Last modified       Size  Description

 TeXmacs-doc.tar.gz      27-Apr-2005 13:02   2.9M  
 texmacs-manual.de.ps.gz 27-Apr-2005 12:59   895k  
 texmacs-manual.en.ps.gz 27-Apr-2005 12:58   855k  
 texmacs-manual.es.ps.gz 27-Apr-2005 12:57   605k  
 texmacs-manual.fr.ps.gz 27-Apr-2005 12:57   430k  
 texmacs-manual.it.ps.gz 27-Apr-2005 12:56   471k  
 texmacs-manual.pt.ps.gz 27-Apr-2005 12:55   304k