archives

« Bugzilla Issues Index

#1634 — 7.8.3 + 9.1.3.1: /DecimalDigit/s font


7.8.3 Static Semantics: MV's / bullets 6,8,9,10
... the number of characters in DecimalDigits
In "DecimalDigits", the final "s" is upright, should be italic like the rest of the word.

Similarly:
9.1.3.1 / Runtime Semantics / bullets 13,14,15
(same phrase as above, or:)
... the number of characters in the second DecimalDigits


fixed in rev17 editor's draft


fixed in rev17, August 23, 2013 draft