Replied: Tue, 10 May 1994 12:55:09 -0500 Replied: "Gerard Huet " Replied: Tue, 10 May 1994 12:50:16 -0500 Replied: "Gerard Huet " Replied: Tue, 10 May 1994 12:47:14 -0500 Replied: "Gerard Huet " Replied: Tue, 10 May 1994 12:39:27 -0500 Replied: "Gerard Huet " From huet@petrus.inria.fr Tue May 10 12:32:51 1994 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by antares.mcs.anl.gov (8.6.4/8.6.4) with ESMTP id MAA05067 for ; Tue, 10 May 1994 12:32:44 -0500 Received: from petrus.inria.fr (petrus.inria.fr [128.93.8.35]) by concorde.inria.fr (8.6.9/8.6.9) with SMTP id TAA28037 for ; Tue, 10 May 1994 19:32:08 +0200 Received: by petrus.inria.fr; Tue, 10 May 1994 19:31:40 +0200 Date: Tue, 10 May 1994 19:31:40 +0200 From: Gerard Huet Message-Id: <199405101731.AA05209@petrus.inria.fr> To: lusk@mcs.anl.gov Subject: QED deafness Hello, Rusty. I have received nothing from QED since Fri, 28 Jan 1994 13:12:03 -0600, there must be something wrong in my email listing. The proper address to use is Gerard.Huet@inria.fr, but eg. huet@inria.inria.fr does not work anymore. Could you please check into it, and perhaps point me to an ftp archive where I could get the missing infos. Anything important happened? Thanks, Gerard