| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 13-Jun-2011 | - | ||||
| afm/public/amsfonts/ | H | 22-Jul-2009 | - | |||
| map/dvips/amsfonts/ | H | 22-Jul-2009 | - | 248 | 211 | |
| source/public/amsfonts/ | H | 22-Jul-2009 | - | 15,658 | 14,247 | |
| tfm/public/amsfonts/ | H | 22-Jul-2009 | - | |||
| type1/public/amsfonts/ | H | 22-Jul-2009 | - |