« Bugzilla Issues Index
#2365 — 21.2.3.3.2: if all characters of P where not matched
- bug_id:
2365
- creation_ts:
2013-12-08 19:13:00 -0800
- short_desc:
21.2.3.3.2: if all characters of P where not matched
- delta_ts:
2014-07-20 20:28:18 -0700
- product:
Draft for 6th Edition
- component:
editorial issue
- version:
Rev 21: November 8, 2013 Draft
- rep_platform:
All
- op_sys:
All
- bug_status:
VERIFIED
- resolution:
FIXED
- priority:
Normal
- bug_severity:
normal
- everconfirmed:
true
- reporter:
Norbert
- assigned_to:
Allen Wirfs-Brock
- commentid:
6902
- comment_count:
0
- who:
Norbert
- bug_when:
2013-12-08 19:13:41 -0800
Should be "if all characters of P were not matched". Or even better: "if not all characters of P were matched" - I know English treats the two as equivalent, but for me there's still a big difference between ∀x¬P and ¬∀xP.
- commentid:
8438
- comment_count:
1
- who:
Allen Wirfs-Brock
- bug_when:
2014-05-14 14:08:42 -0700
fixed in rev25 editor's draft
...if any characters of P were not matched...
- commentid:
8715
- comment_count:
2
- who:
Norbert
- bug_when:
2014-05-30 23:39:06 -0700
The "where" is still present in rev 25 draft; should be "were".
- commentid:
9090
- comment_count:
3
- who:
Allen Wirfs-Brock
- bug_when:
2014-06-23 17:11:38 -0700
fixed in rev26 editor's draft
- commentid:
9354
- comment_count:
4
- who:
Allen Wirfs-Brock
- bug_when:
2014-07-19 17:54:15 -0700
fixed in rev26
- commentid:
9422
- comment_count:
5
- who:
Norbert
- bug_when:
2014-07-20 20:28:18 -0700
Verified in rev 26 draft.