3175 2006-05-03 07:24:51 +0000 [FS] editorial: 2.1.2 Notations for judgments 2007-01-16 17:49:36 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation All All CLOSED FIXED P2 minor --- 1 jmdyck simeon public-qt-comments oldest_to_newest 9562 0 jmdyck 2006-05-03 07:24:51 +0000 2.1.2 Notations for judgments "Most other judgments .. are .. written in bold fonts." Actually, only the symbols are in bold, not the whole judgment. So move the "written in bold fonts" phrase from here to the paragraph about symbols. "For example, 'is beautiful', '=>' and ':' are symbols" The "is beautiful" judgment is gone. Change to "is a positive integer" "By convention, all patterns in the Formal Semantics correspond to grammar non-terminals" Following up on Bug 1531, this is still not entirely true. Here are some counter-examples: AttributeValueContent Axis ConstructionMode SequenceOp, ArithOp, UnaryArithOp, ValueOp, GeneralOp URI-or-#NULL-NAMESPACE Variable 9681 1 simeon 2006-05-09 12:53:36 +0000 Comments #1 and #2 fixed as suggested. The sentence in comment #3 is gone. - Jerome