Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 03-Dec-2002 17:35 -
![[ ]](/icons/a.gif){kind=icon}
TXSdcol.ps 28-Feb-2000 00:00 97k
![[TXT]](/icons/text.gif){kind=icon}
TXSdcol.tex 28-Feb-2000 00:00 31k
![[ ]](/icons/dvi.gif){kind=icon}
TXSdcol.dvi 28-Feb-2000 00:00 17k
![[ ]](/icons/unknown.gif){kind=icon}
TXSdcol.doc 28-Feb-2000 00:00 14k
![[ ]](/icons/hand.right.gif){kind=icon}
README 28-Feb-2000 00:00 1k