Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[TXT]](/icons/text.gif){kind=icon}
txt.tex 1992-09-29 19:00 5.4K
txt.sty 1992-08-06 19:00 5.3K
![[ ]](/icons/unknown.gif){kind=icon}
txt.log 1992-09-29 19:00 967
![[ ]](/icons/dvi.gif){kind=icon}
txt.dvi 1992-09-29 19:00 6.2K
txt.aux 1992-09-29 19:00 632
txt-old.sty 1991-06-24 19:00 4.6K
rfc.tex 1992-08-06 19:00 1.5K
rfc.sty 1991-07-11 19:00 1.4K
myparms.sty 1992-09-29 19:00 1.3K
i-d.sty 1991-06-27 19:00 1.0K
![[DIR]](/icons/folder.gif){kind=icon}
dvi2tty/ 2016-03-25 12:06 -
doc.tfm 1991-06-27 19:00 772
![[ ]](/icons/hand.right.gif){kind=icon}
README 1992-08-22 19:00 770