![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| AVS_LICENSE | 08-Mar-1996 12:06 | 8.7K |
| avs.FAQ | 07-Mar-1996 09:00 | 14K |
| module.database | 08-Mar-1996 12:07 | 437K |
| catalog.html | 08-Mar-1996 12:06 | 616K |
| last_update.txt | 08-Mar-1996 12:07 | 628K |
| catalog.txt | 08-Mar-1996 12:07 | 662K |
| catalog.dvi | 08-Mar-1996 12:06 | 923K |
| catalog.ps | 08-Mar-1996 12:07 | 1.2M |
| module.ps | 08-Mar-1996 12:07 | 1.2M |