[SCL] CL almost-completed final committee draft
Harry Delugach
delugach at cs.uah.edu
Thu Dec 1 17:30:13 CST 2005
I wanted to let people know that a new baseline is being prepared for
the Common Logic
ISO standard (ISO 24707) in case you are interested.
I have put together all the changes that everyone suggested/demanded
and have prepared a nearly-ready draft of the ISO document. See
http://cl.tamu.edu/ for the latest. If there are no comments or
additions (or equivalently, if (p and not p) = true ), this is
exactly what I"ll
submit to ISO on Dec. 6th, which is the deadline I have set.
This version is subject to further international comments during a
four-month balloting period which will begin on Dec. 6th when the
draft is submitted.
Harry
More information about the SCL
mailing list