« Bugzilla Issues Index

#941 — "Matcher" font

In "Disjunction",
para 1 says:
The production Disjunction :: Alternative evaluates by evaluating
Alternative to obtain a Matcher and returning that Matcher.
where both occurrences of "Matcher" are in an italic font.

For consistency, change to an upright font.
(See, e.g. rule 2 and rule 3.)

corrected in rev 12 editor's draft

corrected in rev 12, Nov. 22, 2012 draft