$Revision: 1.3 $
$Date: 2002/06/12 11:18:18 $
msgentry — A wrapper for an entry in a message set
msgentry ::= (msg+,msginfo?,msgexplan*)
In a MsgSet, each MsgEntry contains some number of messages (Msgs) and additional informative and explanatory material about them.
Formatted as a displayed block.
On the whole, the semantics of MsgSet are not clearly defined.
These elements contain msgentry: msgset.
For examples, see msgset.