Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - gates.sty 2012-05-26 06:17 406 t-gates.tex 2012-05-26 06:17 680 README 2012-05-26 06:18 897 gates-doc.tex 2012-05-26 06:18 2.5K gates.lua 2012-05-26 06:16 18K gates.tex 2012-05-26 06:16 31K gates-doc.txt 2012-05-26 06:16 81K gates-doc.pdf 2012-05-26 06:18 178K