1675 2005-07-17 02:37:19 +0000 [FS] editorial: 4.11 Quantified Expressions 2007-01-16 17:33:08 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Last Call drafts All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 4761 0 jmdyck 2005-07-17 02:37:19 +0000 4.11 Quantified Expressions DEv / rule [1-8] / premise 1 DErr / rule (2|4|5|6) / premise 1 "dynEnv |- Expr1 => Item1 ... Itemn" Add commas on either site of ellipsis. DEv before rule 3,4,7,8 "all evaluations of the satisfies expressions yields" s/yields/yield/ 4904 1 simeon 2005-07-19 17:44:54 +0000 Thank you for your comment. Each of these items has been addressed as you suggested. 9433 2 jmdyck 2006-04-25 07:58:43 +0000 In the CR: -- commas have been added to rule 1, but not rules 2 to 8; and -- s/yields/yield/ has been done before rule 3, but not 4, 7, or 8. 9443 3 simeon 2006-04-25 17:17:15 +0000 This should *really* be fixed now. Sorry about the previous incomplete fix. - Jerome