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