Minutes Valhalla EG Oct 11 2017
Martijn Verburg
martijnverburg at gmail.com
Mon Oct 30 10:15:16 UTC 2017
Perfect, thank you - I'll dig in now (I doubt I'll have much to offer, but
it's super interesting!).
Cheers,
Martijn
On 27 October 2017 at 19:14, John Rose <john.r.rose at oracle.com> wrote:
> 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