Issue 12446: Section: A/1.2.4 System State (ocl2-rtf) Source: (, ) Nature: Revision Severity: Minor Summary: Definition 1.12 (System State) ends with "(the function pi(l) projects the ith component of a tuple or list l, whereas the function pi(l) projects all but the ith component):" Obviously the same notation can't mean opposite things, but what was intended here I don't yet know. Perhaps I will as I read on, but I thought I'd report this typo now so I don't forget. Resolution: Revised Text: see page 170 of ptc/2009-05-04 Actions taken: May 13, 2008: received issue October 16, 2009: closed issue Discussion: Problems were due to a semi-automatic Latex to Framemaker conversion. Mathematical symbols were often badly converted. The correct text is in the original from annex A of ptc/03-10-14. End of Annotations:===== m: webmaster@omg.org Date: 13 May 2008 16:08:26 -0400 To: Subject: Issue/Bug Report -------------------------------------------------------------------------------- Name: Garr Lystad Company: Net.Orange (i.e. Net Dot Orange) mailFrom: glystad@ndorange.com Notification: Yes Specification: Object Constraint Language Section: A/1.2.4 System State FormalNumber: n/a Version: 2.0 RevisionDate: 1 May 2006 Page: 185 Nature: Revision Severity: Minor HTTP User Agent: Mozilla/5.0 (Windows; U; Windows NT 6.0; en-US; rv:1.8.1.14) Gecko/20080404 Firefox/2.0.0.14 Description Definition 1.12 (System State) ends with "(the function .i(l) projects the ith component of a tuple or list l, whereas the function .i(l) projects all but the ith component):" Obviously the same notation can't mean opposite things, but what was intended here I don't yet know. Perhaps I will as I read on, but I thought I'd report this typo now so I don't forget.