This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Missing from tableaux in section 4.1.2, agreed to fix at f2f 2005-09-26
Was missing only because of publication bug, change was actually present in omnibus in the sForS, just not propagated to tableau properly. No action needed.
Sigh, supposed to be ASSIGNED until published as status quo
See also bug 2074 for 1.0.
The status quo document of 16 December 2005 includes this correction. So I'm marking this resolved.