Changes between Version 2 and Version 3 of EighthDraftEditorialCorrections


Ignore:
Timestamp:
03/22/13 08:40:09 (5 years ago)
Author:
cowan
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • EighthDraftEditorialCorrections

    v2 v3  
    1 These are the editorial corrections to the eighth draft in reverse order.  More may be added later. 
     1These are the editorial corrections to the eighth draft in reverse order.  All are present in the ninth (ballot) draft. 
    22 
    33* Removed double definition of `caar`