Minutes Valhalla EG Oct 11 2017
John Rose
john.r.rose at oracle.com
Fri Oct 27 18:14:40 UTC 2017
On Oct 27, 2017, at 7:57 AM, Martijn Verburg <martijnverburg at gmail.com> wrote:
>
> Just for my reading benefit :-), did you mean:
>
> "Format should be self-explanatory. My new text is in yellow, stuff of
> Dan's *is green*, *stuff* I deleted is in crossed-out *red*."?
Heh. Here's the secret decoder key:
white - unchanged
green - first draft (Dan), added to original
red s/o - first draft, removed from original
yellow - second draft (John), added to first draft
green s/o - second draft, removed from first draft
(second draft didn't remove anything from the original)
To derive the proposed final, ignore all strike-outs,
and change yellow/green to white.
More information about the valhalla-spec-observers
mailing list