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 ------

Mon Jul  1 16:25:26 CDT 2002
Moved from Usage Guide to Strawman as the identifier for the document.

Sat Aug 10 23:07:41 CDT 2002
Replaced usage.tex with strawman.tex as the base document file.

Facets

Mon Jul  1 16:24:28 CDT 2002
Removed changebars to begin next document version.


Items, Variables, Values and Types

Mon Jul  1 16:24:28 CDT 2002
Removed changebars to begin next document version.

Fri Aug  2 18:02:22 CDT 2002
Rewrote the table of number types to reflect complex at the root of
the number type tree.

Fri Aug  2 23:41:36 CDT 2002
Changed the bit negation operator to NOT to maintain the consistency
of the "-" operation.

Sat Aug  3 00:07:16 CDT 2002
Restructured the definition section for numbers.

Sat Aug  3 00:18:43 CDT 2002
Added the ascii type as a subtype of character.

Sat Aug  3 00:27:21 CDT 2002
Added examples for number and character constants.

Tue Aug  6 12:02:56 CDT 2002
Restricted bitwise bitvector operations to work on bitvectors of the
same length.

Tue Aug  6 12:04:08 CDT 2002
Restructured the sets chapter and the sequences chapter.

Tue Aug  6 12:04:20 CDT 2002
Separated set and sequence operations into collections that form and
manipulate items respectively.

Thu Aug  8 10:39:46 CDT 2002
Fixed problem with alltt environment not printing "{" and "}" characters.
The set stuff should make much more sense now.

Thu Aug  8 13:56:06 CDT 2002
Added div and mod as integer operations.

Thu Aug  8 14:06:18 CDT 2002
Added floor, ceiling, round and sgn operations to the real type.

Thu Aug  8 14:09:10 CDT 2002
Added a strange, but effective definition of integer numbers.

Fri Aug  9 23:52:20 CDT 2002
Moved the function type inclusion and subtype definitions to the
functions chapter.

Fri Aug  9 23:52:59 CDT 2002
Redefined function containment and distinguished containment from function
type inclusion and subtype definition.

Sat Aug 10 00:35:00 CDT 2002
Formally added the concepts of function type equivalence and function
equivalence.

Sat Aug 10 00:40:09 CDT 2002
Formally distinguished between ran(f) and ret(f) by associating ran(f)
with the function and ret(f) with the function signature.

Sat Aug 10 09:56:12 CDT 2002
Unified the univ and unverisal types.  Named this new type universal
rather than univ.

Sat Aug 10 10:45:26 CDT 2002
Moved the discussion of sets as types from the Sets section later to a
special section describing types.  No semantic changes, just formating
changes.

Sat Aug 10 10:48:40 CDT 2002
Deleted the summary section.  It was so far out of date that it was
more harmful than helpful.

Sat Aug 10 22:56:04 CDT 2002
Rewrote the section on facet types and operations.

Sat Aug 10 22:56:20 CDT 2002
Performed a much needed spell check.

Sun Aug 11 07:52:49 CDT 2002
Replaced univ with universal throughout.

Sun Aug 11 14:16:59 CDT 2002
Extensive revisions in the constructed types section.  It's still not quite
there, but it is getting closer.

Mon Aug 12 11:23:20 CDT 2002
Added the case statement to the function section summary.

Mon Aug 12 16:07:04 CDT 2002
Fixed the use of the null function with no parameters in the constructed
types section.

Wed Aug 28 10:01:58 CDT 2002
Ordering relations, min and max moved from number type to imaginary,
boolean and real.  Ordering relations are not defined over complex
numbers.

Wed Aug 28 10:13:27 CDT 2002
Replaced ip and rp functions with im and re respectively.

Wed Aug 28 10:22:25 CDT 2002
Added a slew of new trig functions to complex.

Wed Aug 28 10:22:39 CDT 2002
Remove mag function for complex.  Use abs instead.

Wed Aug 28 10:41:58 CDT 2002
Fixed definitions of floor, round, ceiling and other such number
manipulation functions.

Fri Aug 30 11:51:28 CDT 2002
Added nand and nor to the boolean operations

Fri Aug 30 11:51:49 CDT 2002
Added the polar for to pre-defined ways to form complex numbers.

Fri Aug 30 11:52:19 CDT 2002
Added an integer remainder function.

Sat Aug 31 15:31:45 CDT 2002
Added a reduce operator to sequences and renamed the existing reduce
operation filter to better reflect what it does.

Sat Aug 31 17:48:28 CDT 2002
Changed the operations defined on bitvectors to mimic those provided for
bits.

Sat Aug 31 22:00:10 CDT 2002
Make the be clause in let declarations manditory.

Sat Aug 31 22:16:38 CDT 2002
Added type posnat, the positive natural numbers.

Sat Aug 31 22:25:50 CDT 2002
Added type posreal, the positive real numbers.

Labeling

Mon Jul  1 16:24:28 CDT 2002
Removed changebars to begin next document version.


Semantic Issues

Thu Jul 18 16:51:33 CDT 2002 
Added Algebra Definitions section in Facet Items.  Added Categories
section in Domain Interaction.  Additions are highlighted with
changebars.

Mon Jul  1 16:24:28 CDT 2002
Removed changebars to begin next document version.

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