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