![]() | Name | Last modified | Size | Description | Metadata |
---|---|---|---|---|---|
![]() | Parent Directory | - | |||
![]() | 00index.txt | 22-Jul-1994 00:07 | 234 | Details | |
![]() | CONTRIB | 22-Jul-1994 00:07 | 5.7K | Details | |
![]() | dvgt.tar.gz | 22-Jul-1994 00:07 | 157K | Details | |
![]() | makeindx.tar.gz | 22-Jul-1994 00:07 | 297K | Details | |
![]() | mfinputs.tar.gz | 22-Jul-1994 00:07 | 877K | Details | |
![]() | misctex.tar.gz | 22-Jul-1994 00:07 | 21K | Details | |
![]() | tfmfiles.tar.gz | 22-Jul-1994 00:07 | 166K | Details | |
![]() | web2c1.tar.gz | 22-Jul-1994 00:07 | 1.2M | Details | |
![]() | web2c2.tar.gz | 22-Jul-1994 00:07 | 1.0M | Details | |