Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - tryfont.tex 2003-01-16 18:14 3.6K rotunda.ins 2003-01-16 16:17 3.2K rotunda.dtx 2003-01-16 17:18 133K allfont.tex 2003-01-16 17:50 2.5K README 2003-01-16 17:50 2.6K