Index of /packages/tex/systems/msdos/tx
Name
Last modified
Size
Description
Parent Directory
-
src/
1999-10-20 09:25
-
tx.exe
1995-05-06 02:00
27K
tx.doc
1995-05-06 02:00
13K
tx.cnf
1995-05-06 02:00
1.3K
readme
1995-05-06 02:00
2.9K
news
1995-05-06 02:00
196
copying
1995-05-06 02:00
18K
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443