Rosetta Strawman Updates

The following reflects updates to the usage guide associated with the
current release.  Chapters are indicated followed by changes within
the chapter and a list of known To Do items.  Change bars are included
in the document to reflect where changes occur in the text.  There is
not a one-to-one correspondance between notations in this file and
change bars in the text.

When versions are released to the web, content specific to the
distribution should be appened to the CHANGELOG file with a date stamp
for the web release.  There is no need to do this each time a CVS commit
occurs, only for officially released versions.

CVS tags should be generated for each release using the form usageX-Y
where X is the major release and Y is the update number.

Inquiries should be directed to perry.alexander@ieee.org.

------ Information specific to this distribution ------

Items, Variables, Values and Types

Sun Mar  2 18:47:42 CST 2003
Removed change bars for new version

Tue Mar  4 17:16:38 CST 2003
Removed the ret function that returned the declared return type of
a function

Tue Mar  4 17:19:18 CST 2003
Removed the unary definitions of + and *

Tue Mar  4 17:28:44 CST 2003
Added filter function over sets to be consistent with multisets and
sequences.

Tue Mar  4 17:38:09 CST 2003
Added a zip operation to the sequence type

Sat Mar  8 00:44:55 CST 2003
Added a function definition using the where clause to associate a boolean
constraint rather than an expression with a function declaration

Wed Apr 16 23:49:20 CDT 2003
Redefined the enumeration former as a derived form for a constructed
type.


Expressions, Terms, Labeling and Facet Inclusion

Sun Mar  2 18:47:42 CST 2003
Removed change bars for new version

Tue Mar  4 09:28:31 CST 2003
Fixed the definition of well-typed function declarations to correctly use
the :: relation.

Facets and Packages

Sun Mar  2 18:47:42 CST 2003
Removed change bars for new version


Semantic Issues


Domains

Sun Mar  2 18:47:42 CST 2003
Removed change bars for new version

Thu Mar  6 23:28:06 CST 2003
Added parameters to domains.

------ End ------