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