![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| Adiff1.gif | 1998-03-25 17:00 | 2.6K |
| Idiff1.gif | 1998-03-25 17:00 | 1.8K |
| Tdiff1.gif | 1998-03-25 17:00 | 2.3K |
| example4.dvi | 1998-07-23 17:00 | 8.2K |
| example4.log | 1998-07-23 17:00 | 16K |
| example4.ps | 1998-08-08 17:00 | 66K |
| example4.tex | 1998-07-23 17:00 | 3.4K |
| gdiff1.gif | 1998-03-25 17:00 | 2.3K |
| hz.mf | 1998-04-20 17:00 | 147 |
| hz1cmr10.mf | 1998-07-23 17:00 | 3.6K |
| hz2cmr10.mf | 1998-07-23 17:00 | 3.6K |
| hz3cmr10.mf | 1998-07-23 17:00 | 3.6K |
| hz4cmr10.mf | 1998-07-23 17:00 | 3.6K |
| hz5cmr10.mf | 1998-07-23 17:00 | 3.6K |
| hz6cmr10.mf | 1998-07-23 17:00 | 3.6K |
| ocmr10.mf | 1998-04-20 17:00 | 167 |
| ocomlig.mf | 1998-04-20 17:00 | 2.0K |
| oroman.mf | 1998-04-20 17:00 | 3.2K |