I think there is a minor typo in the current draft version. In annex A.2.10: concurrent_assertion_item ::= [ block_identifier : ] concurrent_assertion_statement The font for the ":" should be different since the colon is a literal colon. -RamReceived on Tue Aug 23 16:43:20 2005
This archive was generated by hypermail 2.1.8 : Tue Aug 23 2005 - 16:45:18 PDT