| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| 00index.txt | 234 B | 1994-Jul-22 00:07 | |
| CONTRIB | 5.7 KiB | 1994-Jul-22 00:07 | |
| misctex.tar.gz | 20.8 KiB | 1994-Jul-22 00:07 | |
| dvgt.tar.gz | 157.1 KiB | 1994-Jul-22 00:07 | |
| tfmfiles.tar.gz | 166.4 KiB | 1994-Jul-22 00:07 | |
| makeindx.tar.gz | 297.4 KiB | 1994-Jul-22 00:07 | |
| mfinputs.tar.gz | 876.5 KiB | 1994-Jul-22 00:07 | |
| web2c2.tar.gz | 1.0 MiB | 1994-Jul-22 00:07 | |
| web2c1.tar.gz | 1.2 MiB | 1994-Jul-22 00:07 | |