Name Last modified Size Description![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg){kind=icon}
Parent Directory -
![[DIR]](/strapdown/icons/glyphicon-folder-open.svg){kind=icon}
dvi2tty/ 2008-07-16 02:03 -
![[ ]](/icons/tex.gif){kind=icon}
txt.tex 1992-09-30 01:00 5.4K
![[TXT]](/strapdown/icons/glyphicon-file.svg){kind=icon}
txt.sty 1992-08-07 02:00 5.3K
txt.log 1992-09-30 01:00 967
![[ ]](/icons/dvi.gif){kind=icon}
txt.dvi 1992-09-30 01:00 6.2K
txt.aux 1992-09-30 01:00 632
txt-old.sty 1991-06-25 02:00 4.6K
rfc.tex 1992-08-07 02:00 1.5K
rfc.sty 1991-07-12 02:00 1.4K
myparms.sty 1992-09-30 01:00 1.3K
i-d.sty 1991-06-28 02:00 1.0K
doc.tfm 1991-06-28 02:00 772