Replied: Sun, 31 Oct 1993 11:03:27 -0600 Replied: "Piotr Rudnicki boyer" From qed-owner Sat Oct 30 22:28:02 1993 Received: by antares.mcs.anl.gov id AA29115 (5.65c/IDA-1.4.4 for qed-outgoing); Sat, 30 Oct 1993 22:19:11 -0500 Received: from scapa.cs.ualberta.ca by antares.mcs.anl.gov with SMTP id AA29108 (5.65c/IDA-1.4.4 for ); Sat, 30 Oct 1993 22:19:09 -0500 Received: from sedalia.cs.ualberta.ca by scapa.cs.ualberta.ca id <18694-2>; Sat, 30 Oct 1993 21:18:59 -0600 Subject: A question to the qed-owner. From: Piotr Rudnicki To: qed@mcs.anl.gov Date: Sat, 30 Oct 1993 21:18:58 -0600 X-Mailer: ELM [version 2.4 PL21] Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Content-Length: 313 Message-Id: <93Oct30.211859-0600.18694-2@scapa.cs.ualberta.ca> Sender: qed-owner I have joined the qed list few days ago and I am wondering how to get postings dated later than August 6, which is the last in the archive. I would like to post something about the Polish Mizar and I am wondering whether anything has been posted about this project in the meantime. -- Piotr (Peter) Rudnicki