Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 443
Parent Directory - gates-doc.pdf 2012-05-26 07:18 178K gates-doc.tex 2012-05-26 07:18 2.5K README 2012-05-26 07:18 897 t-gates.tex 2012-05-26 07:17 680 gates.sty 2012-05-26 07:17 406 gates.lua 2012-05-26 07:16 18K gates.tex 2012-05-26 07:16 31K gates-doc.txt 2012-05-26 07:16 81K