http://www.w3.org/Bugs/Public/show_bug.cgi?id=5671 Oliver Hallam <oliver@cbcl.co.uk> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|RESOLVED |CLOSED --- Comment #8 from Oliver Hallam <oliver@cbcl.co.uk> 2008-07-09 14:31:56 --- I am marking this bug closed. However this solution does have ramifications for formal semantics, and the typing rules should be updated (which are broken anyway - see bug #5459) -- Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the QA contact for the bug.Received on Wednesday, 9 July 2008 14:32:32 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 9 July 2008 14:32:32 GMT