Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
README 2000-02-28 08:00 766
![[ ]](/icons/unknown.gif){kind=icon}
TXSdcol.doc 2000-02-28 08:00 14K
![[ ]](/icons/dvi.gif){kind=icon}
TXSdcol.dvi 2000-02-28 08:00 17K
![[ ]](/icons/a.gif){kind=icon}
TXSdcol.ps 2000-02-28 08:00 97K
![[ ]](/icons/tex.gif){kind=icon}
TXSdcol.tex 2000-02-28 08:00 31K