archives

« Bugzilla Issues Index

#3821 — 13.6.* + 14.2.*: omit grammatical parameters


Normally, grammatical parameters are omitted when productions appear outside of Syntax sections, if the parameters are not needed for the associated algorithm. So remove them from the productions in:
13.6.0.1
13.6.4.3
13.6.4.4
13.6.4.5
14.2.2 / group 1
14.2.3 / group 2
14.2.4 / group 2
14.2.6 / group 2
14.2.9 / group 2
14.2.15 / group 2
14.2.17 / group 1

(In some of these cases, the parameters do appear in the associated algorithm, but not in a useful way, I believe.)


fixed in rev33 editor's draft


fixed in rev33