Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/a.gif){kind=icon}
example3.ps 09-Aug-1998 07:00 42K
![[TXT]](/icons/text.gif){kind=icon}
example3.log 23-Jul-1998 07:00 2.6K
![[ ]](/icons/dvi.gif){kind=icon}
example3.dvi 23-Jul-1998 07:00 4.7K
example3.tex 21-Mar-1998 08:00 4.1K
![[ ]](/icons/unknown.gif){kind=icon}
tf10.mf 14-Mar-1998 08:00 3.9K
tf7.mf 14-Mar-1998 08:00 4.4K
tf5.mf 14-Mar-1998 08:00 4.0K
tf.mf 14-Mar-1998 08:00 11K