(DIR) ..                                                                
 (ARC) Davex_1.30p (a command-line shell f   2011-Dec-07 21:50   246.3 KB
 (ARC) davex123dsk.zip                       2010-Jan-17 08:41   242.6 KB
 (ARC) davex123hdv.zip                       2010-Jan-17 08:41   662.6 KB
 (ARC) davex127hdv.zip                       2010-Jan-17 08:42   748.7 KB
 (BIN) davex_boot.dsk                        1998-Jun-27 19:12   140.0 KB
 (BIN) davex_help.dsk                        1998-Jun-27 19:12   140.0 KB
 (ARC) davexcmds.zip                         2010-Jan-17 08:42    27.8 KB
 (ARC) davexuiowa.zip                        2010-Jan-17 08:44     3.2 MB