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