Name Last modified Size Description![[PARENTDIR]](/strapdown/icons/glyphicon-circle-arrow-up.svg){kind=icon}
Parent Directory -
![[IMG]](/strapdown/icons/glyphicon-picture.svg){kind=icon}
Adiff1.gif 1998-03-26 09:28 2.6K
Idiff1.gif 1998-03-26 09:28 1.8K
Tdiff1.gif 1998-03-26 09:28 2.3K
![[ ]](/icons/dvi.gif){kind=icon}
example4.dvi 1998-07-24 16:39 8.2K
![[TXT]](/strapdown/icons/glyphicon-file.svg){kind=icon}
example4.log 1998-07-24 16:39 16K
![[ ]](/icons/a.gif){kind=icon}
example4.ps 1998-08-09 17:52 66K
![[ ]](/icons/tex.gif){kind=icon}
example4.tex 1998-07-24 16:40 3.4K
gdiff1.gif 1998-03-26 09:28 2.3K
hz.mf 1998-04-21 16:03 147
hz1cmr10.mf 1998-07-24 16:20 3.6K
hz2cmr10.mf 1998-07-24 16:20 3.6K
hz3cmr10.mf 1998-07-24 16:20 3.6K
hz4cmr10.mf 1998-07-24 16:20 3.6K
hz5cmr10.mf 1998-07-24 16:20 3.6K
hz6cmr10.mf 1998-07-24 16:21 3.6K
ocmr10.mf 1998-04-21 16:03 167
ocomlig.mf 1998-04-21 16:03 2.0K
oroman.mf 1998-04-21 16:03 3.2K