../ docu/ 20-Oct-1999 12:54 - dos/ 08-Jun-2001 15:44 - src/ 20-Oct-1999 12:54 - webtoc/ 20-Oct-1999 12:54 - copying 17-Jul-1989 05:30 12K filelist 08-Oct-1990 05:30 762 history 08-Oct-1990 05:30 336 readme 25-Sep-1990 05:30 1614