![[ICO]](/theme/icons/blank.png){kind=icon} | Name | Last modified | Size |
|---|---|---|---|
![[DIR]](/theme/icons/folder-home.png){kind=icon} | Parent Directory | - | |
![[ ]](/theme/icons/archive.png){kind=icon} | davex_help.dsk.gz | 27-Jun-1998 19:12 | 55K |
| davex_boot.dsk.gz | 27-Jun-1998 19:12 | 48K |
![[ ]](/theme/icons/zip.png){kind=icon} | davex123dsk.zip | 17-Jan-2010 08:41 | 243K |
| davex123hdv.zip | 17-Jan-2010 08:41 | 663K |
| davex127hdv.zip | 17-Jan-2010 08:42 | 749K |
| davexcmds.zip | 17-Jan-2010 08:42 | 28K |
| davexuiowa.zip | 17-Jan-2010 08:44 | 3.2M |
| Davex_1.30p (a command-line shell for the Apple II family of computers).zip | 07-Dec-2011 21:50 | 246K |