[cap-talk] Announcing "Analysing Object-Capability Security" Paper and Authodox v. 0.2.0

[Toby Murray]

On Tue, 2008-05-20 at 10:13 -0700, Mark Miller wrote:
> Hi Toby, congratulations! Looking forward to reading it. To make
> online reading more pleasant, could you please add
> 
> \usepackage{hyperref}
> 
> regenerate the document and repost? Thanks.

Cheers Mark.

I've reposted a hyperref'd version at
http://web.comlab.ox.ac.uk/people/toby.murray/papers/AOCS-hyperref.pdf

(I've found hyperref to be a bit buggy in the past. To avoid any
typesetting errors it may cause, I'll leave a non-hyperref'd version at
the original URL from which to print hardcopies etc.)

Thanks again,

Toby