W3C home > Mailing lists > Public > public-sml@w3.org > May 2008

[Bug 5499] Explanation of notation for { } and [ ]

From: <bugzilla@farnsworth.w3.org>
Date: Thu, 22 May 2008 19:08:21 +0000
CC:
To: public-sml@w3.org
Message-Id: <E1JzG9F-0000r9-RJ@farnsworth.w3.org> 

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5499





------- Comment #2 from virginia.smith@hp.com  2008-05-22 19:08 -------
Diffs are at:

http://www.w3.org/2007/10/htmldiff?doc1=http%3A%2F%2Fdev.w3.org%2Fcvsweb%2F%7Echeckout%7E%2F2007%2Fxml%2Fsml%2Fbuild%2Fsml.html%3Frev%3D1.207%26content-type%3Dtext%2Fhtml%3B%2520charset%3Diso-8859-1&doc2=http%3A%2F%2Fdev.w3.org%2Fcvsweb%2F%7Echeckout%7E%2F2007%2Fxml%2Fsml%2Fbuild%2Fsml.html%3Frev%3D1.208%26content-type%3Dtext%2Fhtml%3B%2520charset%3Diso-8859-1

http://www.w3.org/2007/10/htmldiff?doc1=http%3A%2F%2Fdev.w3.org%2Fcvsweb%2F%7Echeckout%7E%2F2007%2Fxml%2Fsml%2Fbuild%2Fsml-if.html%3Frev%3D1.153%26content-type%3Dtext%2Fhtml%3B%2520charset%3Diso-8859-1&doc2=http%3A%2F%2Fdev.w3.org%2Fcvsweb%2F%7Echeckout%7E%2F2007%2Fxml%2Fsml%2Fbuild%2Fsml-if.html%3Frev%3D1.154%26content-type%3Dtext%2Fhtml%3B%2520charset%3Diso-8859-1
Received on Thursday, 22 May 2008 19:08:56 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 22 May 2008 19:08:56 GMT