| Name | Last Modified | Size | Type |
|---|---|---|---|
| Parent Directory | Directory | ||
| 00readme.vrs | 1998-Jun-04 20:00:00 | 1.3K | application/octet-stream |
| vrsion.dtx | 1998-Jun-04 20:00:00 | 25.4K | application/octet-stream |
| vrsion.ins | 1998-Jun-04 20:00:00 | 2K | application/octet-stream |
| vrsion.pdf | 2005-Jun-22 05:40:00 | 264.3K | application/pdf |