[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