[isabelle-dev] AFP failures near 7f7ca3a43026

[Lawrence Paulson]

Yes to both. 

--lcp

> On 12 Jun 2014, at 10:52, Jasmin Christian Blanchette <jasmin.blanchette at gmail.com> wrote:
> 

Or a "has this entry ever worked" or even a date indicating when the entry last succeeded.

> So here's a new suggestion: When new entries are failing for the first or second time, we should perhaps each time start a mini-thread on isabelle-dev to synchronize on who looks into it.