archives

« Bugzilla Issues Index

#1238 — 15.16.7.3: "SetIterator" font


In 15.16.7.3 "Properties of Set Iterator Instances",
in Table 38,
row 2 cell 1 says:
[[IteratedSet]]
where "IteratedSet" is in a sans-serif font.

It should probably be in a serif font.


fixed in rev 14 editor's draft


in Rev 14 draft