| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 00index.txt | 234 bytes | 1994-07-22 00:07:58 |
| 📄 CONTRIB | 5883 bytes | 1994-07-22 00:07:43 |
| 📄 dvgt.tar.gz | 160850 bytes | 1994-07-22 00:07:57 |
| 📄 makeindx.tar.gz | 304510 bytes | 1994-07-22 00:07:57 |
| 📄 mfinputs.tar.gz | 897539 bytes | 1994-07-22 00:07:47 |
| 📄 misctex.tar.gz | 21335 bytes | 1994-07-22 00:07:48 |
| 📄 tfmfiles.tar.gz | 170435 bytes | 1994-07-22 00:07:58 |
| 📄 web2c1.tar.gz | 1271894 bytes | 1994-07-22 00:07:50 |
| 📄 web2c2.tar.gz | 1077311 bytes | 1994-07-22 00:07:56 |