Changes between Version 9 and Version 10 of NinthDraftEditorialCorrections


Ignore:
Timestamp:
06/07/13 11:24:42 (4 years ago)
Author:
cowan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NinthDraftEditorialCorrections

    v9 v10  
    11These are the editorial corrections to the ninth draft in reverse order.  All are present in the tenth (post-ballot) draft. 
    22 
     3* Corrected commenter's names 
    34* Changed rationale of `eqv?` to be normative 
    45* Improved language stating when inexact numbers are not `eqv?`