« Bugzilla Issues Index
#4016 — 13.6.4.1: terminals in italic monospace
- bug_id:
4016
- creation_ts:
2015-02-19 22:27:00 -0800
- short_desc:
13.6.4.1: terminals in italic monospace
- delta_ts:
2015-03-04 18:58:13 -0800
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 34: February 20, 2015 Release Candidate 1
- rep_platform:
All
- op_sys:
All
- bug_status:
RESOLVED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
normal
- everconfirmed:
true
- reporter:
Michael Dyck
- assigned_to:
Allen Wirfs-Brock
- commentid:
13177
- comment_count:
0
- who:
Michael Dyck
- bug_when:
2015-02-19 22:27:28 -0800
In 13.6.4.1 "Static Semantics: Early Errors",
in all the productions,
the terminal symbols are presented in an italic monospace font.
They should be in an upright monospace font.
- commentid:
13317
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2015-02-24 14:12:49 -0800
fixed in rev35 editor's draft
- commentid:
13485
- comment_count:
2
- who:
Allen Wirfs-Brock
- bug_when:
2015-03-04 18:58:13 -0800
fixed in rev35