« Bugzilla Issues Index
#941 — 15.10.2.3: "Matcher" font
- bug_id:
941
- creation_ts:
2012-11-07 14:13:00 -0800
- short_desc:
15.10.2.3: "Matcher" font
- delta_ts:
2012-11-23 09:45:54 -0800
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 11: October 26, 2012 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
trivial
- everconfirmed:
true
- reporter:
Michael Dyck
- assigned_to:
Allen Wirfs-Brock
- commentid:
2435
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2012-11-07 14:13:37 -0800
In 15.10.2.3 "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. 15.10.2.5 rule 2 and 15.10.2.8 rule 3.)
- commentid:
2519
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2012-11-22 10:14:09 -0800
corrected in rev 12 editor's draft
- commentid:
2695
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2012-11-23 09:45:54 -0800
corrected in rev 12, Nov. 22, 2012 draft