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.

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

------ Information specific to this distribution ------
Items, Variables, Values and Types

Sat May 26 07:31:33 EDT 2001 -- wpa
Updated boolean definitions to include infinite mathematics laws.
Made booleans numbers rather than integers because having an infinite
integer bbreaks induction principles.

Sat May 26 07:33:32 EDT 2001 -- wpa
Updated definition of characters to include Unicode values and format
character constants in the standard Unicode format.

Sat May 26 07:34:55 EDT 2001 -- wpa
Added the null bunch definition.

Sat May 26 07:35:44 EDT 2001 -- wpa
Reformatted the integer bunch generation operator to use the "++"
operation rather than the old "," notation for bunch formation.  Provided a definition for "i++..j" as the bunch of integers from i to j.

Sat May 26 07:37:16 EDT 2001 -- wpa
Generally replaced the use of "type" with "subtype".  This makes
reading substantially simpler.

Sat May 26 07:38:37 EDT 2001 -- wpa
Updated the set section to be clear about defining bunches of sets.

Sat May 26 07:39:13 EDT 2001 -- wpa
Updated the seqence section to include definitions for replacement,
subscription, and integer sequence operations.

Sat May 26 07:41:28 EDT 2001 -- wpa
Updated the array section to include definitions for subscription and
replacement.  These correspond to their assocaited sequence
operations.

Sat May 26 07:42:39 EDT 2001 -- wpa
Added a definition for a composite type the refers to all bunches,
sets, sequences and arrays.  This may need to be removed later as
everything can be treated as a bunch...

Sat May 26 07:43:49 EDT 2001 -- wpa
Added the concept of a return type for a function distinction from its
range.  The return type is simply the type specified in the function
signature.

Sat May 26 08:16:20 EDT 2001 -- wpa
Redefined the domain function incorrectly.  This needs to be fixed.

Sat May 26 08:17:46 EDT 2001 -- wpa
Allowed for multiple variables in the forall, exists and sel
shorthands.  (finally, thank you!!)

Sat May 26 08:18:21 EDT 2001 -- wpa
Corrected the record and tuple formation sections.

Sat May 26 08:18:46 EDT 2001 -- wpa
Corrected the definition of univ

Sat May 26 08:19:30 EDT 2001 -- wpa
Cleaned up the uninterpretted type section

Known To Do Items:
1. New notation for enumeration specification
2. Rewrite the function section
3. Fix the domain definition
4. Clean up examples

Expressions, Terms, Labeling and Facet Inclusion

Sat May 26 08:30:59 EDT 2001 -- wpa
Export clause definition update to use export all rather than no
export clause to indicate exporting of all labels in a facet.

Known To Do Items:
1. Include discussion on expressions.
2. Redo facet inclusion section to explicitly list three types of inclusion:
   (i) use clause (only packages); (ii) domain (only domains); and (iii) 
   facet inclusion (only facets and components).
3. Structural definition is very weak.

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