Apache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80Name Last modified Size Description
Parent Directory -
README 1999-03-23 00:00 2.8K
font-names 1999-03-21 00:00 624
grtimes.dtx 2002-01-23 19:25 14K
grtimes.ins 2002-01-23 19:25 2.0K
inlig 1999-03-04 00:00 779
lgr-tex.enc 1999-03-21 00:00 1.2K