../ avs93/ 05-May-1994 19:41 - avs94/ 06-May-1994 22:43 - data/ 17-Jun-1993 14:41 - examples/ 29-Sep-1992 21:14 - man/ 17-Jun-1993 14:43 - newsgroup/ 28-Sep-1993 15:24 -