Name Last modified Size Description![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg){kind=icon}
Parent Directory -
![[ ]](/strapdown/icons/glyphicon-file.svg){kind=icon}
TXSdcol.doc 2000-02-28 00:00 14K
![[ ]](/icons/dvi.gif){kind=icon}
TXSdcol.dvi 2000-02-28 00:00 17K
![[ ]](/icons/tex.gif){kind=icon}
TXSdcol.tex 2000-02-28 00:00 31K
![[ ]](/icons/a.gif){kind=icon}
TXSdcol.ps 2000-02-28 00:00 97K