../ CHANGES.DOC 02-Sep-1996 17:48 17951 EDITING.DOC 01-Jul-1996 16:55 1140 HISTORY.DOC 12-May-1996 12:54 5443 INFOCOM.APP 29-Sep-1996 12:15 29090 INSTALL.DOC 01-Jul-1996 17:07 5422 OTHERS.DOC 18-Aug-1996 17:48 6065 PLATFORM.DOC 01-Jul-1996 17:06 1515 README 09-Sep-1996 16:16 6860 THANKS.DOC 08-Jul-1996 16:27 4928