Name Last modified Size Description
![[DIR]](/images/back.gif)
Parent Directory -
![[ ]](/icons/a.gif)
example4.ps 09-Aug-1998 02:00 66K
![[ ]](/images/unknown.gif)
hz6cmr10.mf 24-Jul-1998 02:00 3.6K
hz5cmr10.mf 24-Jul-1998 02:00 3.6K
hz4cmr10.mf 24-Jul-1998 02:00 3.6K
hz3cmr10.mf 24-Jul-1998 02:00 3.6K
hz2cmr10.mf 24-Jul-1998 02:00 3.6K
hz1cmr10.mf 24-Jul-1998 02:00 3.6K
![[ ]](/icons/tex.gif)
example4.tex 24-Jul-1998 02:00 3.4K
example4.log 24-Jul-1998 02:00 16K
![[ ]](/icons/dvi.gif)
example4.dvi 24-Jul-1998 02:00 8.2K
![[TXT]](/images/readme.gif)
oroman.mf 21-Apr-1998 02:00 3.2K
ocomlig.mf 21-Apr-1998 02:00 2.0K
ocmr10.mf 21-Apr-1998 02:00 167
hz.mf 21-Apr-1998 02:00 147
![[IMG]](/images/gif.gif)
gdiff1.gif 26-Mar-1998 02:00 2.3K
Tdiff1.gif 26-Mar-1998 02:00 2.3K
Idiff1.gif 26-Mar-1998 02:00 1.8K
Adiff1.gif 26-Mar-1998 02:00 2.6K
Apache/2.2 Server at ftp.ntua.gr Port 80
![[IMG]](gdiff1.gif){kind=small}
![[IMG]](Tdiff1.gif){kind=small}
![[IMG]](Idiff1.gif){kind=small}
![[IMG]](Adiff1.gif){kind=small}