Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - README 2008-10-27 12:53 275 shuffle.dtx 2008-10-27 12:08 6.4K shuffle.ins 2008-10-27 12:10 576 shuffle.mf 2008-10-27 12:14 1.4K shuffle.pdf 2008-10-27 12:12 289K shuffle10.mf 2008-10-27 12:14 4.7K shuffle7.mf 2008-10-27 12:14 4.7K