-
Per Cederqvist authored
(Simple Data Types): Use "::=" instead of ":" in two places. Added missing @example...@end example markup. Fixed the SELECTION example -- the tail is not optional.
18fe5081
(Simple Data Types): Use "::=" instead of ":" in two places. Added missing @example...@end example markup. Fixed the SELECTION example -- the tail is not optional.