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

Sat Jun 15 22:33:13 CDT 2002
Fixed an inconsistency in the usage of export.

Sat Jun 22 09:37:36 CDT 2002
Moved the section on packages from the Systems and Components chapter
to the Facets and Packages chapter.

Sat Jun 22 10:42:16 CDT 2002
Modified the terms section to explicitly allow unlabeled boolean terms.

Sat Jun 22 11:03:18 CDT 2002
Enhanced the discussion of facet instantiation and facet state.  Still
needs quite a bit of work.  Linked to a bugzilla topic.

Sat Jun 22 16:37:22 CDT 2002
Scoping discussion moved from Labeling chapter to Facets chapter.

Sat Jun 22 21:37:27 CDT 2002
Added the concept of a library.

Sat Jun 22 21:37:47 CDT 2002
Added a discussion of compilation units.

Sat Jun 22 21:48:36 CDT 2002
Added the definition that the root of all specification trees must be
a package and that libraries can contain only packages.


Items, Variables, Values and Types

Thu Jun  6 13:59:27 CDT 2002
Removed changebars to begin next document version.

Thu Jun  6 22:14:00 CDT 2002
Changed the syntax of enumeration former to use parenthesis rather than square
brackets

Thu Jun  6 22:18:48 CDT 2002
Changed the wordtype type former to word.

Sun Jun  9 11:22:11 CDT 2002
Reworked the non-decimal number section to reflect current discussions.

Tue Jun 18 23:09:49 CDT 2002
Added imaginary and real magnitude functions to the definition of
complex numbers.

Tue Jun 18 23:37:41 CDT 2002
Replace the Null type with empty to avoid name clashes with the null domain.

Tue Jun 18 23:45:32 CDT 2002
Changed the syntax of integer set and integer sequence formers to
{n,..m} and [n,..m] respectively.

Tue Jun 18 23:48:29 CDT 2002
Changed the formal definition of bitvector to use type rather than
subtype(sequence(universal))

Tue Jun 18 23:55:58 CDT 2002
Changed "endif" to "end if" in the definition of the if expression.

Tue Jun 25 16:36:39 CDT 2002
Updated basic types to be consistent with the book

Tue Jun 25 16:36:54 CDT 2002
Updated composite types to be consistent with the book

Tue Jun 25 16:52:21 CDT 2002
Changed the identifiers for the empty set and empty sequence to be {}
and [] respectively

Wed Jun 26 00:09:46 CDT 2002
Empty removed as a label for the empty type.  If you need it, use {}.


Labeling

Thu Jun 20 19:36:23 CDT 2002
Added a descriptive section on scoping.

Semantic Issues

Thu Jun  6 13:59:32 CDT 2002
Removed changebars to begin next document version.

Sat Jun 22 21:57:14 CDT 2002
Small formatting changes to get rid of overfull hboxes.

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