Changes between Version 10 and Version 11 of NinthDraftEditorialCorrections


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

--

Legend:

Unmodified
Added
Removed
Modified
  • NinthDraftEditorialCorrections

    v10 v11  
    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 
     3* Corrected commenters' names 
    44* Changed rationale of `eqv?` to be normative 
    55* Improved language stating when inexact numbers are not `eqv?`