Return-Path: Delivery-Date: Received: from antares.mcs.anl.gov (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Thu, 24 Jun 1993 01:10:11 +0100 Received: by antares.mcs.anl.gov id AA18913 (5.65c/IDA-1.4.4 for qed-outgoing); Wed, 23 Jun 1993 18:27:42 -0500 Received: from arp.anu.edu.au by antares.mcs.anl.gov with SMTP id AA18903 (5.65c/IDA-1.4.4 for ); Wed, 23 Jun 1993 18:27:34 -0500 Received: by arp.anu.edu.au id AA24917 (5.65c/IDA-1.4.2.9 for qed@mcs.anl.gov); Thu, 24 Jun 1993 09:27:26 +1000 Received: from Messages.7.15.N.CUILIB.3.45.SNAP.NOT.LINKED.arp.anu.edu.au.sun4.41 via MS.5.6.arp.anu.edu.au.sun4_41; Thu, 24 Jun 1993 09:27:26 +1000 (EST) Message-Id: Date: Thu, 24 Jun 1993 09:27:26 +1000 (EST) From: Zdzislaw Meglicki To: qed@mcs.anl.gov Subject: Re: test In-Reply-To: <199306232234.AA11385@leibniz.cs.arizona.edu> References: <199306232234.AA11385@leibniz.cs.arizona.edu> Sender: qed-owner@mcs.anl.gov Precedence: bulk It's still there. I've been told that we are to enjoy summer holidays and numerous summer conferences and workshops (some related to QED) before coming back on-line. A summary of what's been said so far would be worth compiling before further discussions are resumed. Zdzislaw Meglicki, Zdzislaw.Meglicki@anu.edu.au, Automated Reasoning Program - CISR, and Plasma Theory Group - RSPhysSE, The Australian National University, G.P.O. Box 4, Canberra, A.C.T., 2601, Australia, fax: (Australia)-6-249-0747, tel: (Australia)-6-249-0158