https://www.w3.org/Bugs/Public/show_bug.cgi?id=23118 Michael Kay <mike@saxonica.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #1 from Michael Kay <mike@saxonica.com> --- I've fixed the incorrect font. The intent here is that E and V are free variables in a definition: it's defining a function function has-id-value(E, V) { is-id(E) and data(E) eq V } Perhaps it would be clearer to the typical reader if it were done in pseudo-code rather than legalese English. -- You are receiving this mail because: You are the QA Contact for the bug.Received on Saturday, 31 August 2013 19:54:17 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:44 UTC