Re: [Caja] Important new paper: The Need for Capability Policiies

Mark Miller <[email protected]> Tue, 9 Jul 2013 19:50:25 -0700
Newsgroups gmane.comp.lang.e.general
Message-ID <CAK5yZYiW1XXT=cSOnM2YcJdW1RBYwKsTzo_j519G=xEuw+TJ_w@mail.gmail.com>
Amusingly relevant:
https://mail.mozilla.org/pipermail/es-discuss/2013-July/031670.html



On Mon, Jul 8, 2013 at 8:57 AM, Drossopoulou, Sophia <
s.drossopoulou-AQ/[email protected]> wrote:

>  Hi Mark,****
>
> ** **
>
> *From:* Mark Miller [mailto:[email protected]]
>
> **
>
> …****
>
> On Mon, Jul 8, 2013 at 6:08 AM, Drossopoulou, Sophia <
> s.drossopoulou-AQ/[email protected]> wrote:****
>
>  James and I have a sketch for a proof that the Joe code satisfies Pol_2…*
> ***
>
>           http://www.doc.ic.ac.uk/~scd/CAPE-FTfJP%2713_slides.pdf****
>
>  ** **
>
> **Ø  **Hi Sophia, what's the diference between slides 28 and 29? The
> change in font size makes other changes hard to spot.****
>
> ** **
>
>  There is no difference! Sorry. I did not notice that when giving the
> talk. To avoid confusion, I have now replaced slide 29 by an empty slide.*
> ***
>
> ** **
>
> Cheers,****
>
> ** **
>
> Sophia ****
>
> ** **
>
> PS****
>
> ** **
>
> *From:* Mark Miller [mailto:[email protected]]****
>
> **Ø  **..  I suggest we drop the other individual addressees and just
> continue this thread on e-lang. …****
>
> Yes will do that.****
>
> ** **
>
>  * *****
>



-- 
Text by me above is hereby placed in the public domain

  Cheers,
  --MarkM

_______________________________________________
e-lang mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/e-lang