[isabelle-dev] AFP failures near 7f7ca3a43026

Lawrence Paulson lp15 at cam.ac.uk
Thu Jun 12 13:33:43 CEST 2014

Yes to both. 


> 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. 

More information about the isabelle-dev mailing list