Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 06-Feb-2012 11:50 -
![[TXT]](/icons/text.gif){kind=icon}
00readme.txt 11-Oct-1994 01:00 1k
0copying.txt 11-Oct-1994 01:00 1k
0ebcdic.txt 09-Nov-1993 01:00 1k
0news.txt 11-Oct-1994 01:00 6k
contents.txt 12-Oct-1994 01:00 34k
![[DIR]](/icons/folder.gif){kind=icon}
contrib/ 20-Oct-1999 09:21 -
doc/ 20-Oct-1999 09:21 -
drivers/ 20-Oct-1999 09:21 -
dvi/ 20-Oct-1999 09:21 -
fontinst/ 20-Oct-1999 09:21 -
latex209/ 20-Oct-1999 09:21 -
source/ 20-Oct-1999 09:21 -
tex/ 20-Oct-1999 09:21 -
tfm/ 20-Oct-1999 09:21 -
vf/ 20-Oct-1999 09:21 -