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