Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - vatest.ps 1996-03-11 01:00 53K va-in.mf 1994-11-03 01:00 25K vacal14.mf 1996-03-10 01:00 6.0K va14.mf 1996-03-10 01:00 6.0K vatest.dvi 1996-03-11 01:00 2.5K vatest.tex 1996-03-11 01:00 2.0K va.sty 1996-03-10 01:00 477 t1va.fd 1996-03-10 01:00 244