How odd. When I download the URL I gave you
http://cmenzel.org/cl.mbox.tgz I get a 4MB file which when extracted is 19MB and starts with
From delugach@cs.uah.edu Fri Dec 19 09:40:09 2003
Received: from smtp-relay.tamu.edu (smtp-relay.tamu.edu [165.91.143.199])
by philebus.tamu.edu (8.12.9/8.12.6) with ESMTP id hBJFe9tv012431
for <cl@philebus.tamu.edu>; Fri, 19 Dec 2003 09:40:09 -0600 (CST)
Received: from mailhost.cs.uah.edu (flip.cs.uah.edu [146.229.232.18])
by smtp-relay.tamu.edu (8.12.10/8.12.10) with ESMTP id hBJFdroY044496
for <cl@philebus.tamu.edu>; Fri, 19 Dec 2003 09:39:54 -0600 (CST)
Received: by mailhost.cs.uah.edu (Postfix, from userid 612)
id 02B6928C1D6; Fri, 19 Dec 2003 09:39:51 -0600 (CST)
Received: from concept.cs.uah.edu (concept.cs.uah.edu [146.229.232.157])
by mailhost.cs.uah.edu (Postfix) with ESMTP id B5F2828C1D4
for <cl@philebus.tamu.edu>; Fri, 19 Dec 2003 09:39:51 -0600 (CST)
Received: from [192.168.1.105] ([129.6.105.216]) by concept.cs.uah.edu over
TLS secured channel with Microsoft SMTPSVC(5.0.2195.5329);
Fri, 19 Dec 2003 09:39:52 -0600
Mime-Version: 1.0 (Apple Message framework v609)
Content-Transfer-Encoding: 7bit
Message-Id: <9607CCAA-3239-11D8-A565-000393DC8840@cs.uah.edu>
Content-Type: text/plain; charset=US-ASCII; format=flowed
To: cl@philebus.tamu.edu
From: Harry Delugach <delugach@cs.uah.edu>
Date: Fri, 19 Dec 2003 10:39:51 -0500
X-Mailer: Apple Mail (2.609)
X-OriginalArrivalTime: 19 Dec 2003 15:39:52.0956 (UTC)
FILETIME=[586573C0:01C3C646]
Cc:
Subject: [CL] Common Logic Standard
X-BeenThere: cl@tamu.edu
X-Mailman-Version: 2.1.3
Precedence: list
List-Id: Discussion of ISO Common Logic Standard (ISO 24707) <cl.tamu.edu>
List-Unsubscribe: <
http://philebus.tamu.edu/mailman/listinfo/cl>,
<mailto:cl-request@tamu.edu?subject=unsubscribe>
List-Archive: <
http://philebus.tamu.edu/pipermail/cl>
List-Post: <mailto:cl@tamu.edu>
List-Help: <mailto:cl-request@tamu.edu?subject=help>
List-Subscribe: <
http://philebus.tamu.edu/mailman/listinfo/cl>,
<mailto:cl-request@tamu.edu?subject=subscribe>
X-List-Received-Date: Fri, 19 Dec 2003 15:40:10 -0000
To the readers of Common Logic mailing list:
As you know, this list has not been active in a while, with most of the
technical discussions now taking place on the SCL list instead. I've
therefore asked Chris Menzel if I can start to re-focus the discussion
on this CL list. It seems appropriate, now that ISO has approved Common
Logic as a standards project, to have a list just for discussions
related to the standard.
I would therefore like to start the discussion by introducing myself.
I'm Harry Delugach, and I've volunteered to be the editor of the ISO
project. My interest in logic originates with conceptual graphs, which
I've used for years in various projects. As editor, it is my task to
"shepherd" the standard through its various review processes until it
is officially approved. My intention is to establish the official
standard in about two years.
The current status of the project is that it is an official ISO
project, to become ISO's standard number 24707. There is not yet an
actual draft, but I intend to use the results of the SCL technical work
as a starting point. I have developed an outline for the standard,
which I will post shortly. I hope to get a working draft assembled
(most of the parts have already been written) by the end of February;
this "deadline" will enable the draft to be considered at the next ISO
meeting in May.
I welcome discussion and comments related to the standard itself and
the development effort.
Harry
--
Harry S. Delugach
------------------- also check out ICCS 2004 at
http://concept.cs.uah.edu Associate Professor
Computer Science Dept., Technology Hall N-351
University Of Alabama In Huntsville
Huntsville AL 35899 U.S.A.
voice: 256.824.6614 fax: 256.824.5093
delugach@cs.uah.edu
http://www.cs.uah.edu/~delugachIs that the file you get from that URL?
I'm uploading the tarball as an attachment this message, just for redundancy.
cl.mbox.tgz
Locked
