Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 16-Mar-2010 03:06 -
![[ ]](/icons/unknown.gif){kind=icon}
doc.tfm 28-Jun-1991 23:57 1k
![[DIR]](/icons/folder.gif){kind=icon}
dvi2tty/ 16-Jul-2008 07:59 -
![[TXT]](/icons/text.gif){kind=icon}
i-d.sty 29-Jun-1991 00:30 1k
myparms.sty 01-Oct-1992 01:44 1k
rfc.sty 13-Jul-1991 02:54 1k
rfc.tex 08-Aug-1992 03:09 1k
txt-old.sty 26-Jun-1991 05:15 5k
txt.aux 01-Oct-1992 01:44 1k
![[ ]](/icons/dvi.gif){kind=icon}
txt.dvi 01-Oct-1992 01:44 6k
txt.log 01-Oct-1992 01:44 1k
txt.sty 08-Aug-1992 02:59 5k
txt.tex 01-Oct-1992 01:45 5k