| Name | Format | # Pages | Size | Date |
|---|---|---|---|---|
| vvintro.dvi | Device Independent File | 10 | 30KB | 1993-01-07 |
| vvintro.ps | PostScript | 10 | 108KB | 1993-01-07 |
| vvuser.dvi | Device Independent File | 5 | 11KB | 1993-01-07 |
| vvuser.ps | PostScript | 5 | 61KB | 1993-01-07 |
| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| 00readme | Text File | 20 | 814b | 1993-01-07 |
| vvintro.asc | Text File | 334 | 24KB | 1993-01-07 |
| vvintro.tex | Text File | 487 | 24KB | 1992-12-28 |
| vvuser.asc | Text File | 143 | 6KB | 1993-01-07 |
| vvuser.tex | Text File | 204 | 8KB | 1992-12-28 |
| Executable | ||||
| Name | Format | Size | Date | |
|---|---|---|---|---|
| vvdecode.exe | MS-DOS/Windows Executable | 104KB | 1992-12-08 | |
| vvencode.exe | MS-DOS/Windows Executable | 93KB | 1992-12-08 | |