| 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 |