Rosetta Usage Guide 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 ------

Facets

Thu Jun  6 11:16:17 CDT 2002
Changed the format of domain declaration in facets to reflect the facet
type approach.  No change bars inserted.


Items, Variables, Values and Types

Mon Feb  4 20:37:28 CST 2002
Removed changebars to begin next document version.

Thu Jun  6 11:28:44 CDT 2002
Changed the format of domain declaration in facets to reflect the facet
type approach.  No change bars inserted.


Labeling

Thu Jun  6 11:31:28 CDT 2002
Changed the format of domain declaration in facets to reflect the facet
type approach.  No change bars inserted.


Facet Algegbra

Thu Jun  6 13:28:26 CDT 2002
Changed the format of domain declaration in facets to reflect the facet
type approach.  No change bars inserted.


Domains

Thu Jun  6 13:34:50 CDT 2002
Changed the format of domain declaration in facets to reflect the facet
type approach.  No change bars inserted.


Semantic Issues

Tue Feb  5 01:35:30 CST 2002
Reworked the section on uninterpreted types and subtypes, and interpreted
types.

Tue Feb  5 01:35:59 CST 2002
Reworked the section on type compatibility.

Mon Feb 11 14:07:16 CST 2002
Cleaned up the definition of terms.

Sat Feb 23 11:46:09 CST 2002
Redefined the facet abstract syntax as specifying signature, domain, and
terms to aid in defining semantics.

Sat Feb 23 11:47:12 CST 2002
Redefined meta.terms and meta.signature to include items defined in the
domain definition.

Sat Feb 23 11:47:44 CST 2002
Added the formal definition of a facet subtype using shared domain.

Sat Feb 23 17:13:48 CST 2002
Added a formal definition of visibility.

Sat Feb 23 17:14:00 CST 2002
Added a formal definition of parameter list.

Sat Feb 23 21:19:10 CST 2002
Added a formal definition for the facet let form.

Sat Feb 23 21:29:24 CST 2002
Added a formal definition of domain inclusion

Sun Feb 24 00:05:45 CST 2002
Added a reference to the quotient algebra with respect to the signature,
terms and equational reasoning as the semantics of a facet.

Sun Feb 24 00:06:24 CST 2002
Updated the definition of consistency to reference the quotient algebra.

Sun Feb 24 00:06:55 CST 2002
Integrated abstract syntax definitions into the definition of the quotient
algebra and by transitivity, consistency.

Mon Feb 25 22:10:37 CST 2002
Added the definition of a binding associating an expression with an item.

Mon Feb 25 22:11:13 CST 2002
Added the definition of an environment as a collection of consistent bindings.

Mon Feb 25 22:11:31 CST 2002
Added the definition of a state as a binding that associates all signature
elements with a value consistently.  Added the definitions of a satisfiable,
unsatisfiable, deterministic, and nondeterministic facet.

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