| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| README | 897 | 2012-May-26 14:18 | |
| gates-doc.pdf | 182321 | 2012-May-26 14:18 | |
| gates-doc.tex | 2557 | 2012-May-26 14:18 | |
| gates-doc.txt | 82550 | 2012-May-26 14:16 | |
| gates.lua | 18699 | 2012-May-26 14:16 | |
| gates.sty | 406 | 2012-May-26 14:17 | |
| gates.tex | 31586 | 2012-May-26 14:16 | |
| t-gates.tex | 680 | 2012-May-26 14:17 | |