[SCL] Re: [CL] CL web page

[Pat Hayes]

>>I would recommend that we treat the term "SCL"
>>as a name for one of the stages toward the evolution
>>of the final version, which we should call CL.
>
>Seconded

I think we need to be clear first who "we" are.  The CL group and the 
SCL group are not the same group. Since this correspondence is taking 
place on the CL mailing list, I presume that it is the CL group's 
business. And then surely there is nothing to decide: of course the 
CL group calls its logic "CL", which is also the name used in the ISO 
draft. The fact that this logic is only a copy of the current state 
of SCL doesn't seem to me to be particularly relevant to that 
decision.

Pat

>
>_______________________________________________
>CL mailing list
>CL at philebus.tamu.edu
>http://philebus.tamu.edu/mailman/listinfo/cl


-- 
---------------------------------------------------------------------
IHMC		(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32502			(850)291 0667    cell
phayes at ihmc.us       http://www.ihmc.us/users/phayes