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