../ docu/ 22-Dec-2024 02:01 - dos/ 08-Jun-2001 10:14 - src/ 20-Oct-1999 07:24 - webtoc/ 20-Oct-1999 07:24 - copying 10-Oct-1995 00:00 12488 filelist 08-Oct-1990 00:00 762 history 08-Oct-1990 00:00 336 readme 25-Sep-1990 00:00 1614