Name | Format | # Pages | Size | Date |
---|---|---|---|---|
refman.drv | LaTeX Document | 4KB | 1994-06-09 | |
refman.dtx | LaTeX Document | 129KB | 1994-05-30 | |
refman.ins | Texinfo Document | 4KB | 1994-05-30 |
Name | Format | # Lines | Size | Date |
---|---|---|---|---|
.zipped | Text File | 6 | 155b | 1994-06-07 |
00contents | Text File | 5 | 178b | 1994-06-07 |
refman.upl | Text File | 79 | 2KB | 1994-05-30 |