[CL] First set of ISO 24707 (Common Logic) defects posted

Heather D. Pfeiffer hdp at cs.nmsu.edu
Wed Dec 19 13:14:29 CST 2007


Harry Delugach writes:
 > I think you're right. Here's everyone's last chance to have their say  
 > on it.
 > 
 > So the proposed solution for 24707/012 would be:
 > --------------------------
 > Throughout Annexes A and B, make the following textual substitutions:
 > 
 > 'cl-module' for 'cl:module'
 > 
 > 'cl-excludes' for 'cl:excludes'
 > 
 > 'cl-imports' for 'cl:imports'
 > 
 > 'cl-text' for 'cl:text'
 > 
 > 'c-lcomment' for 'cl:comment'
 Should be 'cl-comment'

 > 
 > 'cl-roleset' for 'roleset:'
 > 
 > These occur on pages 27 - 31, page 52 (table B.1, line E5, second  
 > part), page 53, lines E12, E14, E17, E19, E20.
 > ------------------------------

I vote "yes".

-Heather


More information about the CL mailing list